@conference{214216, author = {Peter Denno and Anantha and Amogh Kulkarni and Daniel Balasubramanian and Gabor Karsai}, title = {A domain-specific language for model composition and verification of multidisciplinary models}, year = {2016}, month = {2016-03-22}, publisher = {2016 Conference on Systems Engineering Research, Huntsville, AL}, language = {en}, }