Safety and Security of Cyber-Physical Systems : Engineering Dependable Software Using Principle-Based Development - Furrer, Frank J. (Springer Fachmedien Wiesbaden GmbH, 2022)