On Discrete Time Reversibility modulo State Renaming and its Applications. - Rossi, Sabina; Marin, Andrea (EAI Endorsed Trans. Self Adapt. Syst., 2015)