Modica, T.; Hoffmann, K. Formal Modeling of Communication Platforms Using Reconfigurable Algebraic High-Level Nets. ECEASST 2010, 30.