Miroslav Svéda, Radimir Vrba. Specification-Driven Design of Embedded Systems - Design Support for Networked Embedded Software Applications. In ICETE 2007 - Proceedings of the International Conference on e-Business and Telecommunication Networks, Barcelona, Spain, July 28-31, 2007. pages 23-30, INSTICC Press, 2007.
Abstract is missing.