Formal Analysis of Crosstalk Noise in Mesh-Based Optical Networks-on-Chip with WDM | IEEE Journals & Magazine | IEEE Xplore