@inproceedings{SPLC-2009-GanesanLAMB,
	author        = "Dharmalingam Ganesan and Mikael Lindvall and Christopher Ackermann and David McComas and Maureen Bartholomew",
	booktitle     = "{Proceedings of the 13th International Software Product Line Conference}",
	doi           = "10.1145/1753235.1753258",
	pages         = "161--170",
	publisher     = "{ACM}",
	series        = "{ACM International Conference Proceeding Series}",
	title         = "{Verifying architectural design rules of the flight software product line}",
	volume        = 446,
	year          = 2009,
}