1. Rodin: an open toolset for modelling and reasoning in event-b;Abrial;Int. J. Softw. Tools Technol. Transf.,2010
2. XASM – An extensible, component-based abstract state machines language;Anlauff,2000
3. When to use features and aspects?: A case study;Apel,2006
4. Barnett, M., Schulte, W., 2001. Spying on components: a runtime verification technique, in: Proceedings of the Workshop on Specification and Verification of Component-Based Systems. SAVCBS’01, 2001, pp. 7–13.
5. Achieving extensibility through product-lines and domain-specific languages: A case study;Batory;ACM Trans. Softw. Eng. Methodol.,2002