L. Gheorghe Iugan, G. Nicolescu, and I. O’Connor, “Modeling and Formal Verification of a Passive Optical Network on Chip Behavior”, eceasst, vol. 21, Dec. 2009.