A framework for the specification of SCADA data links | IEEE Journals & Magazine | IEEE Xplore