T. Modica and K. Hoffmann, “Formal Modeling of Communication Platforms using Reconfigurable Algebraic High-Level Nets”, ECEASST, vol. 30, Nov. 2010.