Efficient High-Level modeling in the networking domain | IEEE Conference Publication | IEEE Xplore