Gabriel, K. Process Evolution Based on Transformation of Algebraic High-Level Nets With Applications to Communication Platforms. ECEASST 2012, 51.