François Baccelli Analysis of a Service Facility with Periodic Checkpointing. 67-81 1981 15 Acta Inf. db/journals/acta/acta15.html#Baccelli81