Vitalsource Technologies, Inc. Semi-Markov Models: Control of Restorable Systems with Latent Failures