State-driven Architecture Design for Safety-critical Software Product Lines | IEEE Conference Publication | IEEE Xplore