Rajeev AlurBooksHybrid Systems : Computation and ControlEmbedded SoftwareComputer aided verificationHybrid systemsPrinciples of Cyber-Physical SystemsAuthor data: Open Library