R-TNCES: A Novel Formalism for Reconfigurable Discrete Event Control Systems | IEEE Journals & Magazine | IEEE Xplore