TY - RPRT TI - Model-Based Systems Engineering With the Architecture Analysis and Design Language (AADL) Applied to NASA Mission Operations AU - Munoz Fernandez, Michela Miche PY - 2014 UR - https://ntrs.nasa.gov/citations/20160008168 ID - 20160008168 ER -