Samrat S. Batth, Elisangela Rodrigues Vieira, Ana R. Cavalli, M. Ümit Uyar: Specification of Timed EFSM Fault Models in SDL. FORTE 2007: 50-65