Bottoni, P. and Fish, A. (2011) “A visual language for temporal specifications based on Spider diagrams”,
Electronic Communications of the EASST
, 41. doi: 10.14279/tuj.eceasst.41.579.