TY - RPRT TI - Model-based reasoning for system and software engineering: The Knowledge From Pictures (KFP) environment AU - Bailin, Sydney AU - Paterra, Frank AU - Henderson, Scott AU - Truszkowski, Walt PY - 1993 UR - https://ntrs.nasa.gov/citations/19930016789 ID - 19930016789 ER -