A co-design methodology for cyber-physical systems under actuator fault and cyber attack. Issue 4 (March 2019)