Trustworthy Cyber-Physical Systems Engineering - Romanovsky, Alexander; Ishikawa, Fuyuki