TY - RPRT TI - Investigating System Dependability Modeling Using AADL AU - Hall, Brendan AU - Driscoll, Kevin R. AU - Madl, Gabor PY - 2013 UR - https://ntrs.nasa.gov/citations/20130010381 ID - 20130010381 ER -