Service oriented modeling of communication infastructure for assurance | IEEE Conference Publication | IEEE Xplore