Modeling and analyzing safety-critical parallel-series system safety | IEEE Conference Publication | IEEE Xplore