Micaela Serra;William Bennett Gardner
-;-
Converging CSP specifications and C++ programming via selective formalism
ACM Transactions on Embedded Computing Systems (TECS)