Event-driven control in theory and practice by J.H. Sandee