Zaslat SMS: Safety and Security of Cyber-Physical Systems Engineering dependable Software using Principle-based Development / by Frank J. Furrer. [electronic resource] :