J. Coenen;Jozef Hooman
-;-
Design and Verification of Distributed Recovery Blocks with CSP
Formal Methods in System Design