SpringerLink (Online service), Schnieder, E., & Tarnai, G. (2011). FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems. Springer Berlin Heidelberg.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)SpringerLink (Online service), Eckehard Schnieder, و Geza Tarnai. FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)SpringerLink (Online service), et al. FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems. Springer Berlin Heidelberg, 2011.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.