Reactive Systems Modelling, Specification and Verification by Luca Aceto | Menrva Books | MenrvaBooks