1. VATES project website, https://group.swt.tu-berlin.de/vates
2. Lecture Notes in Computer Science;M. Barnett,2005
3. Bartels, B., Glesner, S.: Formal Modeling and Verification of Low-Level Software Programs. In: 10th International Conference on Qualtiy Software (QSIC 2010), IEEE Computer Society, Los Alamitos (2010)
4. Bartels, B., Glesner, S., Göthel, T.: Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification. In: International Colloquium on Graph and Model Transformation – on the occasion of the 65th birthday of Hartmut Ehrig (2010) (accepted for publication)
5. Becker, B., Damm, W., Fränzle, M., Olderog, E., Podelski, A., Wilhelm, R.: SFB/TR 14 AVACS – Automatic Verification and Analysis of Complex Systems. It – Information Technology 49(2), 118–126 (2007)