Modeling of communication control software for advanced switching systems | IEEE Conference Publication | IEEE Xplore