Reactive Systems: Modelling, Specification and Verification
Here we provide different resources for teacher’s using our book: