Trustworthy Cyber-Physical Systems - Nazila Gol Mohammadi (Springer, 2019)