Modeling runtime enforcement with mandatory results automata. - Dolzhenko, Egor; Ligatti, Jay; Reddy, Srikar (International Journal of Information Security, 2015)