Automatic modeling of switch-level networks using partial orders | IEEE Conference Publication | IEEE Xplore