Sergio Saez Silvia Terrasa Vicente Lorente Garcés Alfons Crespo Implementing Reactive Systems with UML State Machines and Ada 2005. 149-163 2009 Ada-Europe http://dx.doi.org/10.1007/978-3-642-01924-1_11 conf/adaEurope/2009 db/conf/adaEurope/adaEurope2009.html#SaezTGC09