Modica, T. and Hoffmann, K. (2010) “Formal Modeling of Communication Platforms using Reconfigurable Algebraic High-Level Nets”, Electronic Communications of the EASST, 30. doi: 10.14279/tuj.eceasst.30.426.