Safety analysis of software product lines using state-based modeling

Jing Liu, Josh Dehlinger, Robyn R. Lutz. Safety analysis of software product lines using state-based modeling. Journal of Systems and Software, 80(11):1879-1892, 2007. [doi]

Abstract

Abstract is missing.