Παραπομπή σε μορφή APA (7η εκδ.)
André, E., & Soulat, R. (2013). The inverse method: Parametric verification of real-time embedded systems. ISTE Ltd./John Wiley and Sons Inc..
Παραπομπή σε μορφή Chicago (17η εκδ.)
André, Etienne, και Romain Soulat. The Inverse Method: Parametric Verification of Real-time Embedded Systems. Hoboken, N.J.: ISTE Ltd./John Wiley and Sons Inc., 2013.
Παραπομπή σε μορφή MLA (9th εκδ.)
André, Etienne, και Romain Soulat. The Inverse Method: Parametric Verification of Real-time Embedded Systems. ISTE Ltd./John Wiley and Sons Inc., 2013.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.