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

by W J Fokkink, N Y Ioustinova, E Kesseler, J v d Pol, Y S Usenko, Y A Yushtein
Venue:In Proc. 13th Conference on Concurrency Theory, LNCS 2421