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