USING TIMED AUTOMATA FOR THE VERIFICATION OF IEC 61499 APPLICATIONS