Barroca, Bruno, Levi Lucio, Vasco Amaral, Luis Pedro, and Didier Buchs. “DSL Composition for Model-Based Test Generation”. Electronic Communications of the EASST 21 (December 6, 2009). Accessed April 22, 2025. https://eceasst.org/index.php/eceasst/article/view/1579.