Daniel Merschen Andreas Polzer Goetz Botterweck Stefan Kowalewski Experiences of applying model-based analysis to support the development of automotive software product lines. 141-150 2011 VaMoS http://doi.acm.org/10.1145/1944892.1944910 conf/vamos/2011 db/conf/vamos/vamos2011.html#MerschenPBK11