@inproceedings{Millo:2011:IAS:1953355.1953361, author = {Millo, Jean-Vivien and Mohalik, Swarup K. and Ramesh, S.}, title = {Integrated analysis of software product lines: a constraint based framework for consistency, liveness, and commonness checking}, booktitle = {Proceedings of the 4th India Software Engineering Conference}, series = {ISEC '11}, year = {2011}, isbn = {978-1-4503-0559-4}, location = {Thiruvananthapuram, Kerala, India}, pages = {41--50}, numpages = {10}, url = {http://doi.acm.org/10.1145/1953355.1953361}, doi = {http://doi.acm.org/10.1145/1953355.1953361}, acmid = {1953361}, publisher = {ACM}, address = {New York, NY, USA}, keywords = {commonness, consistency, liveness, traceability, variability}, }