George Eleftherakis. A Formal Framework for Modelling and Validating Medical Systems. In Vimla L. Patel, Ray Rogers, Reinhold Haux, editors, MEDINFO 2001 - Proceedings of the 10th World Congress on Medical Informatics, September 2-5, 2001, London, UK. Volume 84 of Studies in Health Technology and Informatics, pages 13-17, IOS Press, 2001. [doi]