Compositional Verification of Architectural Models [chapter]

Darren Cofer, Andrew Gacek, Steven Miller, Michael W. Whalen, Brian LaValley, Lui Sha
2012 Lecture Notes in Computer Science  
doi:10.1007/978-3-642-28891-3_13 fatcat:zceb7xmcvfcofmns7rfpjln2wy