Interactive Systems: Design, Specification, and Verification by Fabio Paterno | Menrva Books | MenrvaBooks