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)