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