Cyber-physical networks based on embedded systems are part of our society and gain spread and importance. Next generations of aircrafts and cars will be tightly interconnected with each other, with the Internet and other infrastructures. The same holds for many industries and areas of our life. Ubiquitous, highly critical systems go online and create a domain of mixed criticalities, where security ...