Ttcn 3 cheat sheet