1. ISO/DIS 26262–1 - Road vehicles Functional safety Part 1 Glossary. Technical report, Geneva, Switzerland, July 2009
2. Specification of ADC Driver. Technical report (2011).
http://www.autosar.org/fileadmin/files/releases/4-0/software-architecture/peripherals/standard/AUTOSAR_SWS_ADCDriver.pdf
3. VeTeSS - Verification and Testing to support functional Safety Standards (2012).
http://vetess.eu/
4. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)
5. Behrmann, G., David, A., Larsen, K.G.: A tutorial on UPPAAL 4.0 (2006).
http://www.it.uu.se/research/group/darts/papers/texts/new-tutorial.pdf