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