A Model-Driven Framework for Composition-Based Quantum Circuit Design - Gemeinhardt, Felix; Garmendia, Antonio; Wimmer, Manuel; Wille, Robert (Acm Transactions On Quantum Computing, 2024)