1. A formal model and risk assessment method for security-critical real-time embedded systems. Issue 58 (May 2016) Authors: Ni, Siru; Zhuang, Yi; Gu, Jingjing; Huo, Ying Journal: Computers & security Issue: Issue 58(2016) Page Start: 199 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗