Compositional modeling and analysis of automotive feature product lines
Shankara Narayanan Krishna, Ganesh Khandu Narwane, S. Ramesh, Ashutosh Trivedi.
DAC 2015 : 57:1-57:6
The abstract is not available here yet. Please see the linked publication record.