"Systematic Implementation of Real-Time Models."

Martin De Wulf, Laurent Doyen, Jean-François Raskin (2005)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics