System modeling and analysis : foundations of system performance evaluation - Kobayashi, Hisashi (Pearson Prentice Hall, 2009)