Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach. - Baptiste Alcalde; Ana R. Cavalli; Dongluo Chen; Davy Khuu; David Lee 001 (FORTE, 2004)