@inbook {1339,
	title = {Introduction to Verification},
	booktitle = {Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools},
	year = {1998},
	month = {09/1998},
	pages = {171-190},
	chapter = {14},
	address = {Zaragoza, Spain},
	author = {J.M. Colom and S. Haddad},
	editor = {C. Girault and R. Valk}
}

