Gheorghe Iugan, L.; Nicolescu, G.; O’Connor, I. Modeling and Formal Verification of a Passive Optical Network on Chip Behavior. ECEASST 2009, 21.