1. Arora, A., Kulkarni, S.S.: Detectors and correctors: A theory of fault-tolerance components. In: Int. Conf. on Distributed Computing Systems, pp. 436–443 (1998)
2. Artop User Group: Artop – AUTOSAR tool platform, http://www.artop.org
3. Artop User Group: Artext – an AUTOSAR textual language framework (2013), http://www.artop.org/artext
4. AUTOSAR Development Partnership: Main requirements (v 2.1.0, rel 4.0, rev 1)
5. Cuenot, P., Ainhauser, C., Adler, N., Otten, S., Meurville, F.: Applying model based techniques for early safety evaluation of an automotive architecture in compliance with the ISO 26262 standard. In: Embedded Real-Time Software and Systems, ERTS (2014)