@article{905464,
 article_number = {10},
 author = {Nikola Beneš and Luboš Brim and Barbora Bühnová and Ivana Černá and Jiří Sochor and Pavlína Moravcová Vařeková},
 doi = {http://dx.doi.org/10.1016/j.scico.2010.02.008},
 issn = {0167-6423},
 journal = {Science of Computer Programming},
 keywords = {State/event LTL; Partial order reduction; Formal verification; Model checking; Component-based systems; Component-interaction automata},
 language = {eng},
 title = {Partial Order Reduction for State/Event LTL with Application to Component-Interaction Automata},
 url = {http://dx.doi.org/10.1016/j.scico.2010.02.008},
 volume = {76},
 year = {2011}
}