@article {586,
	title = {Modeling product lines with Kripke structures and modal logic},
	number = {GSDLab TR 2014-08-01},
	year = {2014},
	month = {08/2014},
	institution = {University of Waterloo (ECE)},
	address = {Waterloo},
	issn = {GSDLab TR 2014-08-01},
	attachments = {http://gsd.uwaterloo.ca/sites/default/files/TR-kripke-ml.pdf},
	author = {Diskin, Zinovy and Aliakbar Safilian and Tom Maibaum and Shoham Ben-David}
}