Fig. 13From: Extending statecharts to model system interactionspcb-statecharts representing a PABX system and several similar phonesBack to article page