Rajeev Alur Arun Chandrashekharapuram Dispatch sequences for embedded control models. 156-170 2007 73 J. Comput. Syst. Sci. 2 http://dx.doi.org/10.1016/j.jcss.2006.04.003 db/journals/jcss/jcss73.html#AlurC07