Media type: E-Article Title: Hybrid Systems: Computation and Control: Experiences in Designing and Using Formal Specification Languages for Embedded Control Software Contributor: Leveson, Nancy G. imprint: Springer Berlin Heidelberg, 2000 Published in: Hybrid Systems: Computation and Control Language: Not determined DOI: 10.1007/3-540-46430-1_2 ISSN: 0302-9743 Origination: Footnote: