Title: Modeling and Analysis of Stochastic Systems, Second Edition