Model-Checking and Game theory for Synthesis of Safety Rules | IEEE Conference Publication | IEEE Xplore