Gli argomenti di questa sezione sono trattati nel seguente testo di riferimento:

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen and Jiri Srba, “Reactive Systems: Modelling, Specification and Verification”, Cambridge Univ.Press, 2007.

Tale testo piò essere preso a prestito in biblioteca sia in formato cartaceo che elettronico.

Al seguente link http://www.cs.ioc.ee/yik/schools/win2007/ingolfsdottir/sv-book-part1.pdf  trovate una versione preliminare in formato pdf della prima sezione del testo

Il seguente link http://rsbook.cs.aau.dk contiene invece slide di corsi basati su questo testo oltre a tool software sviluppati per disegnare e analizzare sistemi modellati con le tecniche presentate.