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 November 22, 2024. https://eceasst.org/index.php/eceasst/article/view/1574.