B. Barroca, L. Lucio, V. Amaral, L. Pedro, and D. Buchs, “DSL Composition for model-based test generation”, eceasst, vol. 21, Dec. 2009.