Holger Giese Martin Hirsch Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML. 67-78 2005 conf/uml/2005se MoDELS Satellite Events http://dx.doi.org/10.1007/11663430_8 db/conf/uml/models2005se.html#GieseH05