Modeling software systems with rejuvenation, restoration and checkpointing through fluid stochastic Petri nets | IEEE Conference Publication | IEEE Xplore