Interactive Systems:Design, Specification, and Verification by Peter Forbrig | Menrva Books | MenrvaBooks