Fig. 9From: Extending statecharts to model system interactionsEntering and leaving p-statesBack to article page