Rudie, KarenWonham, W. Murray2007-08-162007-08-161992-11https://hdl.handle.net/11299/2237Protocol verification using discrete-event systems