@article {619,
	title = {Modeling Product Lines with Kripke Structures and Modal Logic},
	number = {GSDLAB{\textendash}TR 2015-04-01},
	year = {2015},
	month = {April, 2015},
	institution = {University of Waterloo, ECE},
	address = {Waterloo/Hamilton},
	issn = {GSDLAB{\textendash}TR 2015-04-01},
	attachments = {http://gsd.uwaterloo.ca/sites/default/files/TR-PPL-2015.pdf},
	author = {Diskin, Zinovy and Aliakbar Safilian and Tom Maibaum and Shoham Ben-David}
}