CorreComm: A formal hierarchical framework for communication designs | IEEE Conference Publication | IEEE Xplore