An incidence matrix-based verification method for business process model in inter-domain network management system | IEEE Conference Publication | IEEE Xplore