APA-viite (7. p.)

André, E., & Soulat, R. (2013). The inverse method: Parametric verification of real-time embedded systems. ISTE Ltd./John Wiley and Sons Inc..

Chicago-viite (17. p.)

André, Etienne, ja Romain Soulat. The Inverse Method: Parametric Verification of Real-time Embedded Systems. Hoboken, N.J.: ISTE Ltd./John Wiley and Sons Inc., 2013.

MLA-viite (9. p.)

André, Etienne, ja Romain Soulat. The Inverse Method: Parametric Verification of Real-time Embedded Systems. ISTE Ltd./John Wiley and Sons Inc., 2013.