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. Computer Science Reports. Technische Universiteit Eindhoven.