Using formal specification and observers to specify and validate the ATM signaling protocols | IEEE Conference Publication | IEEE Xplore