Antonio Caruso Stefano Chessa Piero Maestrini Paolo Santi Diagnosability of regular systems. 126-143 2002 45 J. Algorithms 2 http://dx.doi.org/10.1016/S0196-6774(02)00250-X db/journals/jal/jal45.html#CarusoCMS02