Derivation of Secure Parallel Applications by Means of Module Embedding