Kuehne, T. A Visual Notation for Declarative Behaviour Specification. eceasst 2011, 42.