J. William Atwood Morteza Ghodrat Dariusz Tasak Using Formal Specification and Observers to Specify and Validate the ATM Signaling Protocols. 117- 1999 LCN http://computer.org/proceedings/lcn/0309/03090117abs.htm db/conf/lcn/lcn1999.html#AtwoodGT99