Refinement and verification applied to an in-flight data acquisition unit (2002)

by W Fokkink, N Ioustinova, E Kesseler, J v d Pol, Y Usenko, Y Yushtein
Venue:In Proc. CONCUR 2002