selected publications chapter Cyber-Physical Systems Engineering: An Introduction. Lecture notes in computer science. 407-410. 2018