Safety and Security of Cyber-physical Systems : Engineering Dependable Softwa...