SMS dit: Handbook of stochastic models and analysis of manufacturing system operations