Paolo Bottoni, Andrew Fish
A visual language for temporal specifications based on Spider diagrams
GT-VMT, 2011.
@article{GT-VMT-2011-BottoniF,
author = "Paolo Bottoni and Andrew Fish",
ee = "http://journal.ub.tu-berlin.de/eceasst/article/view/579",
journal = "{Electronic Communications of the EASST}",
title = "{A visual language for temporal specifications based on Spider diagrams}",
volume = 41,
year = 2011,
}