Design Methods for Reactive Systems - sidottu, Englanti, 2003