Angelo Troina: Probabilistic Timed Automata for Security Analysis and Design. GRIN Publishing University of Pisa, Italy 2017