Gajski, D. D., Abdi, S., Gerstlauer, A., & Schirner, G. (2009). Embedded System Design: Modeling, Synthesis and Verification. Springer US.
Παραπομπή σε μορφή Chicago (17η εκδ.)Gajski, Daniel D., Samar Abdi, Andreas Gerstlauer, και Gunar Schirner. Embedded System Design: Modeling, Synthesis and Verification. Boston, MA: Springer US, 2009.
Παραπομπή σε μορφή MLA (8th εκδ.)Gajski, Daniel D., et al. Embedded System Design: Modeling, Synthesis and Verification. Springer US, 2009.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.