Platform for security-aware design of human-on-the-loop cyber-physical systems. - Mahmoud Elfar; Haibei Zhu; Adithya Raghunathan; Yi Y. Tay; Jeffrey Wubbenhorst; Mary L. Cummings; Miroslav Pajic (ICCPS, 2017)