1. Spichkova, M., Liu, H., Laali, M., Schmidt, H.W. Human factors in software reliability engineering In: Workshop on Applications of Human Error Research to Improve Software Engineering (WAHESE2015). 2015.
2. Verisoft. Verisoft Project. http://www.verisoft.de; 2003.
3. VerisoftXT. Verisoft Project. http://www.verisoftxy.de; 2007.
4. On the correctness of upper layers of automotive systems;Botaschanjan;Formal aspects of computing,2008
5. Spichkova, M., Hölzl, F., Trachtenherz, D. Verified System Development with the AutoFocus Tool Chain. In: 2nd Workshop on Formal Methods in the Development of Software. 2012.