TY - RPRT TI - State analysis requirements database for engineering complex embedded systems AU - Bennett, Matthew B. AU - Rasmussen, Robert D. AU - Ingham, Michel D. PY - 2004 UR - https://ntrs.nasa.gov/citations/20060043974 ID - 20060043974 ER -