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.
Čikaški stil citiranja (17. izdanje)SpringerLink (Online service), Eckehard Schnieder, i Geza Tarnai. FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011.
MLA način citiranja (9. izdanje)SpringerLink (Online service), et al. FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems. Springer Berlin Heidelberg, 2011.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.