Qian Feng Robyn R. Lutz Bi-directional safety analysis of product lines. 111-127 2005 78 Journal of Systems and Software 2 http://dx.doi.org/10.1016/j.jss.2005.02.028 db/journals/jss/jss78.html#FengL05