Specification and Analysis of Timed and Functional TRMCS Behaviours. - Mauro Cioffi; Flavio Corradini (IWSSD, 2000)