-
Kako napraviti novi model jednokorisničkog zadatka?
-
Kako urediti postojeći model zadatka?
-
Kako snimiti model zadatka u različitim formatima?
-
Kako proveriti strukturu modela zadatka?
-
Kako dobiti model zadatka počevši od neformalnog opisa sistema?
-
Kako simulirati ponašanje specifikacije unutar CTT okruženja?
-
Koji je prioritet operatora i koje su greške u kombinovanju unarnih operatora sa ostalima?
