BOUALI, A. Formal verification for model-based development. SAE World Congress, Detroit, MI, April 2005. 2005, 05AE-235AE
CHUTINAN, A. Hybrid system verification using discrete model approximation. Ph.D. dissertation, Department of Electrical and Computer Engineering, Carnegie Mellon University. 1999