Trustworthy Cyber-Physical Systems Engineering こちらもおすすめ

Formal Methods for Industrial Critical Systems