selected publications chapter Security of Cyber-Physical Systems. Lecture notes in computer science. 3-18. 2017