1. Applying CVL to business process variability management;Ayora,2012
2. Checking semantics equivalence of MDA transformations in concurrent systems;Barbosa;J. Universal Comput. Sci.,2009
3. Verification of model transformations : acase study with BPEL;Baresi,2007
4. Tame project: towards improvement-Oriented software environments.;Basili;IEEE Trans. Software Eng.,1988
5. Value-chain discovery from business process models;Boubaker,2014