The EVA tool, an approach to verify structuring in Estelle specifications