P. Fimml: "Temporal-Epistemic Logic in Byzantine Message-Passing Contexts"; Supervisor: U. Schmid; Institut für Computer Engineering, 2018; final examination: 2018-01-08.
https://publik.tuwien.ac.at/files/publik_273448.pdf