Automatic generation of formal models for diagnosability of DES. - Nardone, Roberto; Tommasi, Gianmaria De; Mazzocca, Nicola; Pironti, Alfredo; Vittorini, Valeria (2018)