The control-command environment of the Virgo experiment | IEEE Journals & Magazine | IEEE Xplore