Recoverable Systems as Interaction Models: A Study by Example | IEEE Conference Publication | IEEE Xplore