Simulation techniques for discrete event systems - Mitrani, I (Cambridge University Press, Cambridge, 1982)