Miroslav Svéda, Charles Rattray. Formal Specifications of Computer-Based Systems. In 8th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2001), 17-20 April 2001, Washington, DC, USA. pages 357-358, IEEE Computer Society, 2001. [doi]
Abstract is missing.