@techReport{CIA:FIMU-RS-No07-08,
   author = "Nikola Bene\v{s} and Lubo\v{s} Brim and Ivana {\v{C}}ern\'{a} and Ji\v{r}\'{i} Sochor and Pavl\'{i}na Va\v{r}ekov\'{a} and Barbora Zimmerova",
   title = "{Partial Order Reduction for State/Event LTL}",
   institution = "Masaryk University, Faculty of Informatics",
   address = "Brno, Czech Republic",
   number = "FIMU-RS-2008-07",
   year = "2008",
   month = "July",
   url = "http://www.fi.muni.cz/reports/files/2008/FIMU-RS-2008-07.pdf",
   
   abstract = "Software systems assembled from a large number of autonomous components become an interesting target for formal verification due to the issue of correct interplay in component interaction. State/event LTL incorporates both states and events to express important properties of component-based software systems. 
   The main contribution of the paper is a partial order reduction technique for verification of state/event LTL properties. The core of the partial order reduction is a novel notion of stuttering equivalence which we call state/event stuttering equivalence. The positive attribute of the equivalence is that it can be resolved with existing methods for partial order reduction. State/event LTL properties are, in general, not preserved under state/event stuttering equivalence. To this end we define a new logic, called weak state/event LTL, which is invariant under the new equivalence."
}