I am reading the classic paper by Fisher, Lynch, Merritt "Easy impossibility proofs for distributed consensus problems", and cannot understand the model they are using. It seems it was already standard at that time and therefore the authors didn't describe it in detail. And because I don't understand the model, I also don't understand the proofs. In particular, I was reading the impossibility proof for byzantine agreement for the case $n=3$ and $m=1$ (Section 3.1), and while I understand the individual steps of the proof, and don't see the overall structure of the proof. Why compare the scenarios of $S$ with the scenarios of $G$? The following phrase seems to be key: "We argue that each of these scenarios is identical to a scenario in a correct behavior of $G$". However, I cannot see its role in the proof.
In summary, I have the following questions:
Where is the model used in the paper described in more detail? (online resources would be appreciated)
What is a node/edge behavior? (This notion is not defined in the paper.)
It is said that a system has a single behavior. Why is that? (In my view, the behavior also depends on the scheduling of messages, which is not modeled by the system.)
What is the intuitive meaning of a graph covering in the context of distributed computations?
What is the structure of the proof in Section 3.1 and the intuition behind it?