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