WhiteRabbit: Scalable Software-Defined Network Data-Plane Verification Method Through Time Scheduling | IEEE Journals & Magazine | IEEE Xplore