A.: Modeling long-running transactions with Communicating Hierarchical Timed Automata (2006)

by R Lanotte, A Maggiolo–Schettini, P Milazzo, Troina
Venue:Proc. of Formal Methods for Open Object-Based Distributed Systems (FMOODS’06), LNCS 4037