"RESY: Requirement Synthesis for Compositional Model Checking."

Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics