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]
@inproceedings{BuresRSS05, title = {A Framework for Formal Specification of Embedded Systems}, author = {Frantisek Bures and Ondrej Rysavy and Frantisek Scuglik and Miroslav Svéda}, year = {2005}, url = {http://csdl.computer.org/comp/proceedings/ecbs/2005/2308/00/23080323abs.htm}, researchr = {https://researchr.org/publication/BuresRSS05}, cites = {0}, citedby = {0}, pages = {323-330}, booktitle = {12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 4-7 April 2005, Greenbelt, MD, USA}, publisher = {IEEE Computer Society}, isbn = {0-7695-2308-0}, }