Modica, Tony, and Kathrin Hoffmann. 2010. “Formal Modeling of Communication Platforms Using Reconfigurable Algebraic High-Level Nets”. Electronic Communications of the EASST 30 (November). https://doi.org/10.14279/tuj.eceasst.30.426.