1. S. Basu, P.S. Roop, R. Sinha, Local module checking for CTL specifications. Electron. Notes Theor. Comput. Sci. 176(2), 125–141 (2007)
2. E.M. Clarke, O. Grumberg, D. Peled, Model Checking (MIT Press, Massachusetts, 2000)
3. P. Cousot, R. Cousot, A gentle introduction to formal verification of computer systems by abstract interpretation. In Logics and Languages for Reliability and Security, ed. by J. Esparza, B. Spanfelner, O. Grumberg. NATO Science for Peace and Security Series - D: Information and Communication Security, vol 25 (IOS Press, Amsterdam, 2010), pp. 1–29
4. V. D’Silva, D. Kroening, G. Weissenbacher, A survey of automated techniques for formal software verification. IEEE Trans. CAD Integr. Circuits Syst. 27(7), 1165–1178 (2008)
5. F. Johnson, C. Chong-White, M. Millar, S. Shaw, Validating the realism and representativeness of SCATS in simulation. In 18th World Congress on ITS, 2011