BOOK CHAPTERS


  1. Jairam Sukumar, Subir K Roy, Kusum Lata and Navakanta Bhat, “Formal Verification of Hybrid Automotive Systems” in the book “Motion Control", IN-TECH publisher, ISBN 978-953-7619, 2010.