TY - RPRT TI - Data-Flow Based Model Analysis AU - Saad, Christian AU - Bauer, Bernhard PY - 2010 UR - https://ntrs.nasa.gov/citations/20100018538 ID - 20100018538 ER -