Model-Checking for Validation of a Fault Protection System. - Martin S. Feather; Stephen Fickas; N.-A. Razermera-Mamy (HASE, 2001)