Stanley Bak, Fardin Abdi Taghi Abad, Zhenqi Huang, Marco Caccamo: Using run-time checking to provide safety and progress for distributed cyber-physical systems. RTCSA 2013: 287-296