Cyber-physical systems design for runtime trustworthiness maintenance supported by toolsTorsten BandyszakNazila Gol Mohammadiet al.2015REFSQ/REFSQ 2015