APA (7th ed.) Citation

Rushby, J. (1991). Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems.

Chicago Style (17th ed.) Citation

Rushby, John. Formal Specification and Verification of a Fault-masking and Transient-recovery Model for Digital Flight-control Systems. Stanford, Calif, 1991.

MLA (9th ed.) Citation

Rushby, John. Formal Specification and Verification of a Fault-masking and Transient-recovery Model for Digital Flight-control Systems. 1991.

Warning: These citations may not always be 100% accurate.