The FSM and Message Communication: Impact on Software Testing. - A. Butti; Aldo Lora; G. C. Macchi (ICC (3), 1984)