A Rigorous System Engineering Process for Resilient Cyber-Physical Systems Design | IEEE Conference Publication | IEEE Xplore