An Introduction to Ttcn-3 door #223, Colin Willcock & Thomas Deiss