Victor L. Winter Dejan Desovski Bojan Cukic Virtual Environment Modeling for Requirements Validation of High Consequence Systems. 23-30 2001 conf/re/2001 RE http://computer.org/proceedings/re/1125/11250023abs.htm db/conf/re/re2001.html#WinterDC01