Gatekeeper: A Reliable Reconfiguration Protocol for Real-Time Ethernet Systems | IEEE Conference Publication | IEEE Xplore