COWLING, James; MYERS, Daniel; LISKOV, Barbara, 2006. HQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance. In: Proceedings of the 7thUSENIXSymposium on Operating Systems Design and Implementation. [s.l.]: [s.n.]. Dostupné online. ISBN1-931971-47-1. S. 177–190.
M., Paulitsch; DRISCOLL, K. Industrial Communication Technology Handbook, Second Edition. [s.l.]: CRC Press, 2015-01-09. ISBN978-1-4822-0733-0. Kapitola Chapter 48:SAFEbus, s. 48–1–48–26.
dependability.org
Dependable Computing and Fault Tolerance [online]. [cit. 2015-03-02]. Dostupné v archivu pořízeném z originálu dne 2015-04-02.
DRISCOLL, K.; HALL, B.; PAULITSCH, M.; ZUMSTEG, P.; SIVENCRONA, H., 2004. The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576). [s.l.]: [s.n.]. ISBN978-0-7803-8539-9. doi:10.1109/DASC.2004.1390734. S2CID15549497. Kapitola The Real Byzantine Generals, s. 6.D.4–61–11.
, 1979. SIFT: design and analysis of a fault-tolerant computer for aircraft control. Microelectronics Reliability. Roč. 19, čís. 3, s. 190. ISSN0026-2714. doi:10.1016/0026-2714(79)90211-7.
PEASE, Marshall; SHOSTAK, Robert; LAMPORT, Leslie. Reaching Agreement in the Presence of Faults. Journal of the Association for Computing Machinery. April 1980, roč. 27, čís. 2, s. 228–234. doi:10.1145/322186.322188. S2CID6429068.
AVIZIENIS, A.; LAPRIE, J.-C.; RANDELL, Brian; LANDWEHR, C., 2004. Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing. Roč. 1, čís. 1, s. 11–33. ISSN1545-5971. doi:10.1109/TDSC.2004.2. S2CID215753451.
FELDMAN, P.; MICALI, S., 1997. An optimal probabilistic protocol for synchronous Byzantine agreement. SIAM J. Comput.. Roč. 26, čís. 4, s. 873–933. Dostupné v archivu pořízeném z originálu dne 2016-03-05. doi:10.1137/s0097539790187084.
PAULITSCH, M.; MORRIS, J.; HALL, B.; DRISCOLL, K.; LATRONICO, E.; KOOPMAN, P., 2005. 2005 International Conference on Dependable Systems and Networks (DSN'05). [s.l.]: [s.n.]. Dostupné online. ISBN978-0-7695-2282-1. doi:10.1109/DSN.2005.31. S2CID14096385. Kapitola Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems, s. 346–355.
HOPKINS, Albert L.; LALA, Jaynarayan H.; SMITH, T. Basil, 1987. The Evolution of Fault-Tolerant Computing. [s.l.]: [s.n.]. (Dependable Computing and Fault-Tolerant Systems). ISBN978-3-7091-8873-6. doi:10.1007/978-3-7091-8871-2_6. Kapitola The Evolution of Fault Tolerant Computing at the Charles Stark Draper Laboratory, 1955–85, s. 121–140.
CHUN, Byung-Gon; MANIATIS, Petros; SHENKER, Scott; KUBIATOWICZ, John. Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles. New York, NY, USA: ACM, 2007-01-01. (SOSP '07). ISBN9781595935915. doi:10.1145/1294261.1294280. S2CID6685352. Kapitola Attested append-only memory, s. 189–204.
VERONESE, G. S.; CORREIA, M.; BESSANI, A. N.; LUNG, L. C.; VERISSIMO, P. Efficient Byzantine Fault-Tolerance. IEEE Transactions on Computers. 2013-01-01, roč. 62, čís. 1, s. 16–30. ISSN0018-9340. doi:10.1109/TC.2011.221. S2CID8157723.
WALTER, C.; ELLIS, P.; LAVALLEY, B., 2005. Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05). [s.l.]: [s.n.]. ISBN978-0-7695-2377-4. doi:10.1109/HASE.2005.23. S2CID21468069. Kapitola The Reliable Platform Service: A Property-Based Fault Tolerant Service Architecture, s. 34–43.
YEH, Y.C., 2001. 20th DASC. 20th Digital Avionics Systems Conference (Cat. No.01CH37219). [s.l.]: [s.n.]. ISBN978-0-7803-7034-0. doi:10.1109/DASC.2001.963311. S2CID61489128. Kapitola Safety critical avionics for the 777 primary flight controls system, s. 1C2/1–1C2/11.
NANYA, T.; GOOSEN, H.A., 1989. The Byzantine hardware fault model. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. Roč. 8, čís. 11, s. 1226–1231. ISSN0278-0070. doi:10.1109/43.41508.
MARTINS, Rolando; GANDHI, Rajeev; NARASIMHAN, Priya; PERTET, Soila; CASIMIRO, António; KREUTZ, Diego; VERÍSSIMO, Paulo, 2013. Middleware 2013. [s.l.]: [s.n.]. (Lecture Notes in Computer Science). ISBN978-3-642-45064-8. doi:10.1007/978-3-642-45065-5_3. S2CID31337539. Kapitola Experiences with Fault-Injection in a Byzantine Fault-Tolerant Protocol, s. 41–61.
epfl.ch
infoscience.epfl.ch
GUERRAOUI, Rachid; KNEŽEVIC, Nikola; VUKOLIC, Marko, 2010. The Next 700 BFT Protocols. In: Proceedings of the 5th European conference on Computer systems. [s.l.]: EuroSys. Dostupné v archivu pořízeném z originálu dne 2011-10-02.
ethz.ch
crypto.ethz.ch
Matthias Fitzi, 2002. Generalized Communication and Security Models in Byzantine Agreement [online]. ETH Zurich, 2002. Dostupné online.
figshare.com
PAULITSCH, M.; MORRIS, J.; HALL, B.; DRISCOLL, K.; LATRONICO, E.; KOOPMAN, P., 2005. 2005 International Conference on Dependable Systems and Networks (DSN'05). [s.l.]: [s.n.]. Dostupné online. ISBN978-0-7695-2282-1. doi:10.1109/DSN.2005.31. S2CID14096385. Kapitola Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems, s. 346–355.
LAMPORT, Leslie. The Byzantine Generals Problem. ACM Transactions on Programming Languages and Systems. SRI International, 2016-12-19. Dostupné online [cit. 2019-03-18].
FELDMAN, P.; MICALI, S., 1997. An optimal probabilistic protocol for synchronous Byzantine agreement. SIAM J. Comput.. Roč. 26, čís. 4, s. 873–933. Dostupné v archivu pořízeném z originálu dne 2016-03-05. doi:10.1137/s0097539790187084.
nasa.gov
c3.nasa.gov
DRISCOLL, Kevin. Real System Failures [online]. NASA, 2012-12-11 [cit. 2015-03-02]. (DASHlink). Dostupné v archivu pořízeném z originálu dne 2015-04-02.
DRISCOLL, K.; HALL, B.; PAULITSCH, M.; ZUMSTEG, P.; SIVENCRONA, H., 2004. The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576). [s.l.]: [s.n.]. ISBN978-0-7803-8539-9. doi:10.1109/DASC.2004.1390734. S2CID15549497. Kapitola The Real Byzantine Generals, s. 6.D.4–61–11.
PEASE, Marshall; SHOSTAK, Robert; LAMPORT, Leslie. Reaching Agreement in the Presence of Faults. Journal of the Association for Computing Machinery. April 1980, roč. 27, čís. 2, s. 228–234. doi:10.1145/322186.322188. S2CID6429068.
AVIZIENIS, A.; LAPRIE, J.-C.; RANDELL, Brian; LANDWEHR, C., 2004. Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing. Roč. 1, čís. 1, s. 11–33. ISSN1545-5971. doi:10.1109/TDSC.2004.2. S2CID215753451.
PAULITSCH, M.; MORRIS, J.; HALL, B.; DRISCOLL, K.; LATRONICO, E.; KOOPMAN, P., 2005. 2005 International Conference on Dependable Systems and Networks (DSN'05). [s.l.]: [s.n.]. Dostupné online. ISBN978-0-7695-2282-1. doi:10.1109/DSN.2005.31. S2CID14096385. Kapitola Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems, s. 346–355.
CHUN, Byung-Gon; MANIATIS, Petros; SHENKER, Scott; KUBIATOWICZ, John. Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles. New York, NY, USA: ACM, 2007-01-01. (SOSP '07). ISBN9781595935915. doi:10.1145/1294261.1294280. S2CID6685352. Kapitola Attested append-only memory, s. 189–204.
VERONESE, G. S.; CORREIA, M.; BESSANI, A. N.; LUNG, L. C.; VERISSIMO, P. Efficient Byzantine Fault-Tolerance. IEEE Transactions on Computers. 2013-01-01, roč. 62, čís. 1, s. 16–30. ISSN0018-9340. doi:10.1109/TC.2011.221. S2CID8157723.
WALTER, C.; ELLIS, P.; LAVALLEY, B., 2005. Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05). [s.l.]: [s.n.]. ISBN978-0-7695-2377-4. doi:10.1109/HASE.2005.23. S2CID21468069. Kapitola The Reliable Platform Service: A Property-Based Fault Tolerant Service Architecture, s. 34–43.
YEH, Y.C., 2001. 20th DASC. 20th Digital Avionics Systems Conference (Cat. No.01CH37219). [s.l.]: [s.n.]. ISBN978-0-7803-7034-0. doi:10.1109/DASC.2001.963311. S2CID61489128. Kapitola Safety critical avionics for the 777 primary flight controls system, s. 1C2/1–1C2/11.
MARTINS, Rolando; GANDHI, Rajeev; NARASIMHAN, Priya; PERTET, Soila; CASIMIRO, António; KREUTZ, Diego; VERÍSSIMO, Paulo, 2013. Middleware 2013. [s.l.]: [s.n.]. (Lecture Notes in Computer Science). ISBN978-3-642-45064-8. doi:10.1007/978-3-642-45065-5_3. S2CID31337539. Kapitola Experiences with Fault-Injection in a Byzantine Fault-Tolerant Protocol, s. 41–61.
sri.com
csl.sri.com
Thomas A. Henzinger; Christoph M. Kirsch. Embedded Software: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings. [s.l.]: Springer Science & Business Media, 2001-09-26. Dostupné v archivu pořízeném z originálu dne 2015-09-22. ISBN978-3-540-42673-8. S. 307–.
usenix.org
CLEMENT, A.; WONG, E.; ALVISI, L. Making Byzantine Fault Tolerant Systems Tolerate Byzantine Faults. In: Symposium on Networked Systems Design and Implementation. [s.l.]: USENIX, April 22–24, 2009. Dostupné v archivu pořízeném z originálu dne 2010-12-25.
web.archive.org
KIRRMANN, Hubert. Fault Tolerant Computing in Industrial Automation [online]. Switzerland: ABB Research Center, n.d. [cit. 2015-03-02]. S. 94. Dostupné v archivu pořízeném dne 2014-03-26.
Dependable Computing and Fault Tolerance [online]. [cit. 2015-03-02]. Dostupné v archivu pořízeném z originálu dne 2015-04-02.
FELDMAN, P.; MICALI, S., 1997. An optimal probabilistic protocol for synchronous Byzantine agreement. SIAM J. Comput.. Roč. 26, čís. 4, s. 873–933. Dostupné v archivu pořízeném z originálu dne 2016-03-05. doi:10.1137/s0097539790187084.
GUERRAOUI, Rachid; KNEŽEVIC, Nikola; VUKOLIC, Marko, 2010. The Next 700 BFT Protocols. In: Proceedings of the 5th European conference on Computer systems. [s.l.]: EuroSys. Dostupné v archivu pořízeném z originálu dne 2011-10-02.
CLEMENT, A.; WONG, E.; ALVISI, L. Making Byzantine Fault Tolerant Systems Tolerate Byzantine Faults. In: Symposium on Networked Systems Design and Implementation. [s.l.]: USENIX, April 22–24, 2009. Dostupné v archivu pořízeném z originálu dne 2010-12-25.
AUBLIN, P.-L.; BEN MOKHTAR, S.; QUÉMA, V. RBFT: Redundant Byzantine Fault Tolerance. In: 33rd IEEE International Conference on Distributed Computing Systems. [s.l.]: International Conference on Distributed Computing Systems, 8.–11. července 2013. Dostupné v archivu pořízeném dne 2013-08-05.
DRISCOLL, Kevin. Real System Failures [online]. NASA, 2012-12-11 [cit. 2015-03-02]. (DASHlink). Dostupné v archivu pořízeném z originálu dne 2015-04-02.
Thomas A. Henzinger; Christoph M. Kirsch. Embedded Software: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings. [s.l.]: Springer Science & Business Media, 2001-09-26. Dostupné v archivu pořízeném z originálu dne 2015-09-22. ISBN978-3-540-42673-8. S. 307–.
ELC: SpaceX lessons learned [LWN.net] [online]. [cit. 2016-07-21]. Dostupné v archivu pořízeném z originálu dne 2016-08-05.
worldcat.org
, 1979. SIFT: design and analysis of a fault-tolerant computer for aircraft control. Microelectronics Reliability. Roč. 19, čís. 3, s. 190. ISSN0026-2714. doi:10.1016/0026-2714(79)90211-7.
AVIZIENIS, A.; LAPRIE, J.-C.; RANDELL, Brian; LANDWEHR, C., 2004. Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing. Roč. 1, čís. 1, s. 11–33. ISSN1545-5971. doi:10.1109/TDSC.2004.2. S2CID215753451.
VERONESE, G. S.; CORREIA, M.; BESSANI, A. N.; LUNG, L. C.; VERISSIMO, P. Efficient Byzantine Fault-Tolerance. IEEE Transactions on Computers. 2013-01-01, roč. 62, čís. 1, s. 16–30. ISSN0018-9340. doi:10.1109/TC.2011.221. S2CID8157723.
NANYA, T.; GOOSEN, H.A., 1989. The Byzantine hardware fault model. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. Roč. 8, čís. 11, s. 1226–1231. ISSN0278-0070. doi:10.1109/43.41508.