Sebastian Panek Sebastian Engell Subanatarajan Subbiah Olaf Stursberg Scheduling of multi-product batch plants based upon timed automata models. 275-291 2008 32 Computers & Chemical Engineering 1-2 http://dx.doi.org/10.1016/j.compchemeng.2007.07.009 db/journals/cce/cce32.html#PanekESS08