Communication protocol modelling (Artech, 1981)