Frantisek Bures, Ondrej Rysavy, Frantisek Scuglik, Miroslav Svéda. A Framework for Formal Specification of Embedded Systems. In 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 4-7 April 2005, Greenbelt, MD, USA. pages 323-330, IEEE Computer Society, 2005. [doi]
Abstract is missing.