Using Formal Specification and Observers to Specify and Validate the ATM Signaling Protocols. - J. William Atwood; Morteza Ghodrat; Dariusz Tasak (LCN, 1999)