The Real-Time Distributed Control of the Virgo Interferometric Detector of Gravitational Waves | IEEE Journals & Magazine | IEEE Xplore