Formal Modeling of Multicast Communication in 3D NoCs | IEEE Conference Publication | IEEE Xplore