Media type: E-Article Title: Automated Technology for Verification and Analysis: Modal Transition Systems: Composition and LTL Model Checking Contributor: Beneš, Nikola; Černá, Ivana; Křetínský, Jan imprint: Springer Berlin Heidelberg, 2011 Published in: Automated Technology for Verification and Analysis Language: Not determined DOI: 10.1007/978-3-642-24372-1_17 ISSN: 0302-9743; 1611-3349 Origination: Footnote: