author          = {Marieke Huisman and Herbert Bos and Sjaak Brinkkemper and {van Deursen}, Arie and Groote, {Jan Friso} and Patricia Lago and {van de Pol}, Jaco and Eelco Visser},
	title           = {Software that meets its intent},
	booktitle       = {Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings},
	publisher       = {Springer Verlag},
	year            = {2016},
	volume          = {9953 LNCS},
	series          = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
	pages           = {609--625},
	isbn            = {9783319471686},
	url             = {https://pure.tudelft.nl/portal/en/publications/software-that-meets-its-intent(77829805-74a7-4265-beec-9fbed42f642e).html},
	group           = {SE}