Real-Time Verification of Network Properties Using Atomic Predicates | IEEE Journals & Magazine | IEEE Xplore