Bi-directional safety analysis of product lines

Qian Feng, Robyn R. Lutz. Bi-directional safety analysis of product lines. Journal of Systems and Software, 78(2):111-127, 2005. [doi]

Abstract

Abstract is missing.