Models, Algorithms, Logics and Tools - Aceto; Bacci, Giorgio; Bacci, Giovanni; Ingólfsdóttir, Anna; Legay, Axel; Mardare, Radu (Springer International Publishing, 2017)