@book{MitraCPSbook21, 
    title={Verifying cyber-physical systems: {A} path to safe autonomy}, 
    publisher={The MIT Press}, 
    author={Mitra, Sayan}, 
    year={2021},
    month={February},
    place={Cambridge, MA}, 
    isbn = {9780262044806}
}