Jing Liu Josh Dehlinger Robyn R. Lutz Safety Analysis of Software Product Lines Using State-Based Modeling. 21-30 2005 conf/issre/2005 ISSRE http://doi.ieeecomputersociety.org/10.1109/ISSRE.2005.36 db/conf/issre/issre2005.html#LiuDL05