Describir: Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems 2006, Portland, Oregon, November 10 - 11, 2006. [electronic resource] :