@incollection{Sukumar10,
author = {Jairam Sukumar and Subir K Roy and Kusum Lata and Navakanta Bhat},
title = {Formal Verification of Hybrid Automotive Systems},
booktitle = {Motion Control},
publisher = {IntechOpen},
address = {Rijeka},
year = {2010},
editor = {Federico Casolo},
chapter = {7},
doi = {10.5772/6963},
url = {https://doi.org/10.5772/6963}
}