Edelkamp, Stefan and Leue, Stefan and Lluch-Lafuente, Alberto Directed explicit-state model checking in the validation of communication protocols. International Journal on Software Tools for Technology Transfer (STTT), 5 (2-3). pp. 247-267. ISSN 1433-2779 (2004)