TY - RPRT TI - A UML Profile for State Analysis AU - Murray, Alex AU - Rasmussen, Robert PY - 2010 UR - https://ntrs.nasa.gov/citations/20150008477 ID - 20150008477 ER -