Modeling and Verification of Software Systems - Lecturer: Alessandro Aldini - A.Y. 2014/2015