A high-assurance measurement repository system. - Farokh B. Bastani; Simeon C. Ntafos; I-Ling Yen; Doug E. Harris; Richard R. Morrow; Raymond A. Paul (HASE, 2000)