Rudie, KarenWonham, W. Murray2007-08-162007-08-161992-11http://purl.umn.edu/2237Protocol verification using discrete-event systems