Game min-max current-state opacity formulation in resource automata | IEEE Conference Publication | IEEE Xplore