Modeling and Simulation of Operating System Behavior. - Bernd Däne; Wolfgang Fengler 001; Falk Berger (Modelling, Simulation, and Optimization, 2003)