You are about to access our book library "6th International Workshop on Specification and Verification of Component-based Systems (Savcbs 2007) full version" .