Miroslav Svéda, Radimir Vrba. Executable Specifications for Embedded Distributed Systems. IEEE Computer, 34(1):138-140, 2001. [doi]
@article{SvedaV01, title = {Executable Specifications for Embedded Distributed Systems}, author = {Miroslav Svéda and Radimir Vrba}, year = {2001}, url = {http://dlib.computer.org/co/books/co2001/pdf/r1138.pdf}, researchr = {https://researchr.org/publication/SvedaV01}, cites = {0}, citedby = {0}, journal = {IEEE Computer}, volume = {34}, number = {1}, pages = {138-140}, }