1. Abdul-Baki, B., Baldwin, J., Rudel, M.-P.: Independent validation and verification of the TCAS II collision avoidance subsystem. Aerospace and Electronic Systems Mag. 15(8), 3–21 (2000)
2. Lecture Notes in Computer Science;R. Alur,1992
3. Alur, R., Dill, D.: A theory of timed automata. Theoret. Comput. Sci. 126, 183–235 (1994)
4. Bohn, J., Damm, W., Klose, J., Moik, A., Wittke, H.: Modeling and validating train system applications using statemate and live sequence charts (2002)
5. Chutinam, A., Krogh, B.H.: Computing polyhedral approximations in flow pipes for dynamic systems. In: 37th IEEE Conference on Decision and Control, IEEE, Los Alamitos (1998)