Favaro, F.M.; and Saleh, J.H.; "Application of temporal logic for safety supervisory control and model-based hazard monitoring," Reliability Engineering and System Safety, Vol. 169, pp. 166-178, January, 2018.