Gheorghe Iugan, Luiza, et al. “Modeling and Formal Verification of a Passive Optical Network on Chip Behavior”. Electronic Communications of the EASST, vol. 21, Dec. 2009, doi:10.14279/tuj.eceasst.21.302.