Rollback recovery in real-time systems with dynamic constraints | IEEE Conference Publication | IEEE Xplore