TimeNet 4.0 a software tool for the performability evaluation with stochastic and colored petri nets. User Manual - Zimmermann, Armin 1969- (Techn. Univ., Fak. IV, Elektrotechnik und Informatik, 2007)