Safety analysis of software product lines using state-based modeling | IEEE Conference Publication | IEEE Xplore