Model checking protocol implementations: A new adaptation-based approach
Networked Digital Library of Theses and Dissertations