An introduction to TTCN-3 - Willcock, Colin; Deiß, Thomas; Tobies, Stephan; Keil, Stefan; Engler, Federico; Schulz, Stephan; Wiles, Anthony (Wiley, 2011)