A semi-graphical modeling framework for the automated analysis of networked systems security. - Manuel Cheminod; Luca Durante; Marcello Maggiora; Lucia Seno; Carmela Troilo; Adriano Valenzano (RTSI, 2015)