Madanlal Musuvathi: CMC: a model checker for network protocol implementations. Stanford University, USA 2004