"On Synthesizing Controllers from Bounded-Response Properties."

Oded Maler, Dejan Nickovic, Amir Pnueli (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics