Springer
Lecture Notes in Computer Science
International Conference on Concurrency Theory
Software Analysis and Transformation

Fokkink, W., Ioustinova, N., Kesseler, E., van de Pol, J., Usenko, Y., & Yushtein, Y. (2002). Refinement and Verification Applied to an In-flight Data Acquisitation Unit. In Proceedings of International Conference on Concurrency Theory 2002 (13) (pp. 1–31). Springer.