Michel Sintzoff Iterative Synthesis of Control Guards Ensuring Invariance and Inevitability in Discrete-Decision Games. 272-301 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2635&spage=272 2004 conf/birthday/2004dahl Essays in Memory of Ole-Johan Dahl db/conf/birthday/dahl2004.html#Sintzoff04