Mauro Cioffi, Flavio Corradini. Specification and Analysis of Timed and Functional TRMCS Behaviours. In Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000. pages 31-38, IEEE Computer Society, 2000. [doi]
Abstract is missing.