Howard Chivers, Richard F. Paige: XRound: A reversible template language and its application in model-based security analysis. Inf. Softw. Technol. 51(5): 876-893 (2009)