Refinement and Verification Applied to an In-Flight Data Acquisition Unit.

Wan Fokkink Natalia Ioustinova Ernst Kesseler Jaco van de Pol Yaroslav S. Usenko Yuri A. Yushtein Refinement and Verification Applied to an In-Flight Data Acquisition Unit. 1-23 2002 conf/concur/2002 CONCUR http://link.springer.de/link/service/series/0558/bibs/2421/24210001.htm db/conf/concur/concur2002.html#FokkinkIKPUY02