Fig. 11From: Extending statecharts to model system interactionsExample of unfolded p-statesBack to article page