Simulation for Systems using Software Rejuvenation (and Supervision)