TY - RPRT TI - Forecasting model checking needs during early requirements engineering with Rapture/SP2 AU - Powell, J. AU - Menzies, T. PY - 2001 UR - https://ntrs.nasa.gov/citations/20060031160 ID - 20060031160 ER -