Dispatch Sequences for Embedded Control Models. - Alur, Rajeev; Chandrashekharapuram, Arun (2005)