Regular expressions for timed automata - Ribeiro, Paulo (2021)
Dissertação de mestrado em Engenharia Física (especialização Física da Informação)