Refinement and Verification Applied to an In-Flight Data Acquisition Unit. - Wan J. Fokkink; Natalia Ioustinova; Ernst Kesseler; Jaco van de Pol; Yaroslav S. Usenko; Yuri A. Yushtein (CONCUR, 2002)