Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties.

Yliès Falcone Jean-Claude Fernandez Laurent Mounier Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties. 41-55 2008 ICISS http://dx.doi.org/10.1007/978-3-540-89862-7_3 conf/iciss/2008 db/conf/iciss/iciss2008.html#FalconeFM08