Title: Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems