P. Bottoni and A. Fish, “A visual language for temporal specifications based on Spider diagrams”, eceasst, vol. 41, May 2011.