Modeling the impact of checkpoints on next-generation systemsRon A. OldfieldPatricia J. Telleret al.2007MSST 2007