CALM and Cadena: metamodeling for component-based product-line development | IEEE Journals & Magazine | IEEE Xplore