26262-7 -Road vehicles Functional safety Part 7 Production and operation, 2009. ,
A Controller Safety Concept Based on Software-Implemented Fault Tolerance for Fail-Operational Automotive Applications, Formal Techniques for Safety-Critical Systems -Fourth International Workshop of Communications in Computer and Information Science, pp.189-205, 2015. ,
DOI : 10.1007/978-3-319-29510-7_11
Runtime verification monitoring for automotive embedded systems using the ISO 26262 Functional Safety Standard as a guide for the definition of the monitored properties, IET Software, vol.8, issue.5, pp.193-203, 2014. ,
DOI : 10.1049/iet-sen.2013.0236
Model-based variant management with v.control, Transdisciplinary Lifecycle Analysis of Systems -Proceedings of the 22nd ISPE Inc. International Conference on Concurrent Engineering, pp.194-203, 2015. ,
Satbased analysis of feature models is easy, Dirk Muthig and John D ,