publication venue for Guaranteeing Proper-Temporal-Embedding safety rules in wireless CPS: A hybrid formal modeling approach 2013