Guidelines for analysis and modelling of reactive software systems - Gonçalves, Maria Madalena Pacheco (2013)