Gnesi, et al.. A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors. Springer Berlin Heidelberg, 2000, doi:10.1007/3-540-46419-0_36.