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 August 1, 2025. https://www.eceasst.org/index.php/eceasst/article/view/1579.