Marco Autili, Paola Inverardi, Patrizio Pelliccione. A scenario based notation for specifying temporal properties. In Jon Whittle, Leif Geiger, Michael Meisinger, editors, SCESM 06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, Shanghai, China, May 27, 2006. pages 21-28, ACM, 2006. [doi]
Abstract is missing.