Text this: Kluwer international series on discrete event dynamic systems.