@book{1720333,
	author = {Willcock},
	title = {An Introduction to TTCN-3},
	publisher = {IEEE},
	url = {https://ieeexplore.ieee.org/servlet/opac?bknumber=8040384}
}