T. Kuehne, “A Visual Notation for Declarative Behaviour Specification”, eceasst, vol. 42, Dec. 2011.