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