You are about to access our book library "Safety and Security of Cyber-Physical Systems: Engineering dependable Software using Principle-based Development full version" .