Stanislaw Budkowski, Elie Najm: Structured Finite State Automata - A new approach for modelling distributed communications systems. Protocol Specification, Testing, and Verification 1983: 95-110