Forensic-by-Design Framework for Cyber-Physical Cloud Systems | IEEE Journals & Magazine | IEEE Xplore