Timed automata based scheduling for a miniature pipeless plant with mobile robots | IEEE Conference Publication | IEEE Xplore