@book{54858,
	author = {Willcock, Colin},
	title = {An introduction to TTCN-3 /},
	publisher = {Wiley,},
	year = {c2011},
	address = {Chichester ;},
	edition = {2nd ed.}
}