@inproceedings{19ee77c8686b4c79b89c59caae41a372,
title = "Verifying architectural design rules of the flight software product line",
author = "D. Ganesan and M. Lindvall and Ch. Ackermann and D. McComas and M. Bartholomew",
year = "2009",
language = "English",
pages = "161--170",
booktitle = "Proceedings of the 13th International Software Product Line conference",
publisher = "Carnegie Mellon University",
note = "13th International Software Product Line conference ; Conference date: 01-01-2009 Through 01-01-2009",
}