Specification and verification technologies for communication software | IEEE Journals & Magazine | IEEE Xplore