Guaranteeing Proper-Temporal-Embedding safety rules in wireless CPS: A hybrid formal modeling approach | IEEE Conference Publication | IEEE Xplore