On minimal tests of sensor veracity for dynamic watermarking-based defense of cyber-physical systems | IEEE Conference Publication | IEEE Xplore