“...Kluwer international series in engineering and computer science. Discrete event dynamic systems....”