Technische Universiteit Eindhoven
Computer Science Reports
Specification and Analysis of Embedded Systems

van de Pol, J., Hooman, J.& de Jong, E. (1999). Requirements specification and analysis of command and control systems. In Computer Science Reports (Technical Report 99-09). Technische Universiteit Eindhoven.