Gheorghe Iugan, Luiza, Gabriela Nicolescu, and Ian O’Connor. “Modeling and Formal Verification of a Passive Optical Network on Chip Behavior”. Electronic Communications of the EASST 21 (December 6, 2009). Accessed July 31, 2025. https://www.eceasst.org/index.php/eceasst/article/view/1574.