@article {544,
	title = {Modeling Product Lines with Kripke Structures and Modal Logic},
	number = {TR 2013-10-1},
	year = {2013},
	month = {10/2013},
	institution = {University of Waterloo(ECE) / McMaster University (CAS)},
	type = {Technical Report},
	address = {Watreloo},
	issn = {TR 2013-10-1},
	attachments = {http://gsd.uwaterloo.ca/sites/default/files/fase14_FM-TR.pdf},
	author = {Diskin, Zinovy and Aliakbar Safilian and Tom Maibaum}
}