Conversão sistemática do comportamento definido nos blocos funcionais da norma IEC 61 131-3 para autómatos finitos temporizados

Systematic conversion of the behaviour defined in the funtion blocks of IEC 61 131-3 standard to timed automata