Bottoni, P.; Fish, A. A Visual Language for Temporal Specifications Based on Spider Diagrams. eceasst 2011, 41.