Gogolla, Hamann, Hilken, Sedlmeier, Nguyen, 2014. Behavior Modeling with Interaction Diagrams in a UML and OCL Tool, in: . ACM Press.. https://doi.org/10.1145/2630768.2630772