Email Record: ONGOING REQUIEREMENTS DISCOVERY IN HIGH INTEGRITY SYSTEMS.