Sünkroonsed/reaktiivsed keeled Et sünteesida efektiivseid rakendusi p3 algavad mudel Koosdisaini lõplikud olekumasinad 81 p2 ja p3 algavad On palju kasutatud nii infosüsteemide Timed Automata