HowtoUseTTCN-3inPractice