"Enforcement monitoring wrt. the safety-progress classification of properties."

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics