Thierry Jéron Hervé Marchand Vlad Rusu Symbolic Determinisation of Extended Automata. 197-212 2006 IFIP TCS http://dx.doi.org/10.1007/978-0-387-34735-6_18 conf/ifipTCS/2006 db/conf/ifipTCS/ifipTCS2006.html#JeronMR06