Detection of covert attacks on cyber-physical systems by extending the system dynamics with an auxiliary system | IEEE Conference Publication | IEEE Xplore