Embedded Systems: New Approaches to Their Formal Description and Design 
Subtitle: An Advanced Course (Lecture Notes in Computer Science)
Contributors: J. Dahler (Editor)
Publisher: Springer
Published: October 1987
Language: eng
ISBN-13: 9780387185811