Gheorghe Iugan, L., Nicolescu, G. and O’Connor, I. (2009) “Modeling and Formal Verification of a Passive Optical Network on Chip Behavior”, Electronic Communications of the EASST, 21. doi: 10.14279/tuj.eceasst.21.302.