Nicoletta De Francesco Antonella Santone Gigliola Vaglini A user-friendly interface to specify temporal properties of concurrent systems. 299-311 2007 177 Inf. Sci. 1 http://dx.doi.org/10.1016/j.ins.2006.03.008 db/journals/isci/isci177.html#FrancescoSV07