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