Ruggero Lanotte Andrea Maggiolo-Schettini Paolo Milazzo Angelo Troina Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata. 108-122 2006 conf/fmoods/2006 FMOODS http://dx.doi.org/10.1007/11768869_10 db/conf/fmoods/fmoods2006.html#LanotteMMT06