On the Seamless Interconnection of IEEE1588-Based Devices Using a PROFINET IO Infrastructure | IEEE Journals & Magazine | IEEE Xplore