Precise simulation of interrupts using a rollback mechanism. - Brandner, Florian (2009)