The method is demonstrated using the Unified Modeling Language (UML).
It is applied to the subset of UML dealing with object behavior and its applicability is demonstrated on a specific modeling example.