Fig. 7From: Extending statecharts to model system interactionsA pcb-statechart for a phone system with exactly four phonesBack to article page