TY - CONF AU - Peter Denno AU - Anantha AU - Amogh Kulkarni AU - Daniel Balasubramanian AU - Gabor Karsai C2 - Conference on Systems Engineering Research (CSER 2016), Huntsville, AL DA - 2016-03-21 LA - en PB - Conference on Systems Engineering Research (CSER 2016), Huntsville, AL PY - 2016 TI - A domain-specific language for model composition and verification of multidisciplinary models ER -