Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems | lit.salon