Fardin Abdi Taghi Abad, Renato Mancuso, Stanley Bak, Or D. Dantsker, Marco Caccamo. Reset-based recovery for real-time cyber-physical systems with temporal safety constraints. In 21st IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2016, Berlin, Germany, September 6-9, 2016. pages 1-8, IEEE, 2016. [doi]
Abstract is missing.