Παραπομπή σε μορφή APA (7η εκδ.)

Drusinsky, D., Havelund, K., & Center, A. R. (2003). Execution-Based Model Checking of Interrupt-Based Systems.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Drusinsky, Doron, Klaus Havelund, και Ames Research Center. Execution-Based Model Checking of Interrupt-Based Systems. 2003.

Παραπομπή σε μορφή MLA (9th εκδ.)

Drusinsky, Doron, et al. Execution-Based Model Checking of Interrupt-Based Systems. 2003.