Title: Semi-Markov Adjunction to the Computer-Aided Markov Evaluator (Came)