Dieter Barnard Simon Crosby The specification and verification of an experimental ATM signalling protocol. 155-170 1995 conf/pstv/1995 PSTV db/conf/pstv/pstv1995.html#BarnardC95