Introduction to discrete event systems (Springer, 2007)