Thomas Cochard, David Gouyon, Jean-François Pétin. Generation of safe operation sequences using iterative refinements and abstractions of timed automata. In 21st IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2016, Berlin, Germany, September 6-9, 2016. pages 1-8, IEEE, 2016. [doi]
Abstract is missing.