1. Rajeev Alur , Costas Courcoubetis , and David Dill . 1990 . Model-checking for real-time systems. In [1990] Proceedings . Fifth Annual IEEE Symposium on Logic in Computer Science. IEEE, 414--425 . Rajeev Alur, Costas Courcoubetis, and David Dill. 1990. Model-checking for real-time systems. In [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science. IEEE, 414--425.
2. Gerd Behrmann , Alexandre David , and Kim G Larsen . 2006. A tutorial on Uppaal 4.0. Department of computer science , Aalborg university ( 2006 ). Gerd Behrmann, Alexandre David, and Kim G Larsen. 2006. A tutorial on Uppaal 4.0. Department of computer science, Aalborg university (2006).
3. Environment Modeling During Model Checking of Cyberphysical Systems
4. Technical Feasibility of Advanced Driver Assistance Systems (ADAS) for Road Traffic Safety