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