Proceedings of the 2006 conference on Specification and verification of component-based systems
ACM Digital Library