@inbook {Simula.SE.431,
	title = {Software Verification: a Scalable, Model-Driven, Empirically Grounded Approach},
	booktitle = {Simula Research Laboratory - by thinking constantly about it},
	year = {2009},
	pages = {415-442},
	publisher = {Springer},
	organization = {Springer},
	chapter = {28},
	address = {Heidelberg},
	isbn = {978-3-642-01155-9},
	author = {Briand, Lionel},
	editor = {Tveito, Aslak and Are Magnus {Bruaset} and Lysne, Olav}
}
