Detection of replay attacks in cyber-physical systems
cyber - physical systems - are computing foundations adequate ? .