Thomas Müller On the Formal Structure of Continuous Action. 191-209 2004 conf/aiml/2004 Advances in Modal Logic http://www.aiml.net/volumes/volume5/Mueller.ps db/conf/aiml/aiml2004.html#Muller04