Validation, verification and implementation of timed protocols using AORTA.

Steven Bradley William Henderson David Kendall Adrian Robson Validation, verification and implementation of timed protocols using AORTA. 205-220 1995 conf/pstv/1995 PSTV db/conf/pstv/pstv1995.html#BradleyHKR95