Claudio Antares Mezzina Vasileios Koutavas A Safety and Liveness Theory for Total Reversibility (Extended Abstract). 2016 abs/1604.05555 CoRR http://arxiv.org/abs/1604.05555 db/journals/corr/corr1604.html#MezzinaK16