Massimo Benerecetti, Stefano Minopoli, Adriano Peron. Analysis of Timed Recursive State Machines. In Nicolas Markey, Jef Wijsen, editors, TIME 2010 - 17th International Symposium on Temporal Representation and Reasoning, Paris, France, 6-8 September 2010. pages 61-68, IEEE Computer Society, 2010. [doi]
Abstract is missing.