"On Synthesizing Behavior that Is Aware of Semantical Constraints."

Karsten Wolf (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics