Rigorous analysis of byzantine causal order using Event-B. - Nilima Fulmare; Divakar Yadav (ICWET, 2010)