A method for topology conformance tests under logical constraints | IEEE Conference Publication | IEEE Xplore