@inproceedings{dblp-conf-dac-krishnanrt15,
  title = {Compositional modeling and analysis of automotive feature product lines},
  author = {Shankara Narayanan Krishna and Ganesh Khandu Narwane and S. Ramesh and Ashutosh Trivedi},
  year = {2015},
  url = {https://dblp.org/rec/conf/dac/KrishnaNRT15},
  booktitle = {DAC 2015}
}