Formal Development of Byzantine Immune Total Order Broadcast System Using Event-B. - Raghuraj Suryavanshi; Divakar Yadav (ICDEM, 2010)

Modeling of Multiversion Concurrency Control System Using Event-B. - Raghuraj Suryavanshi; Divakar Yadav (FedCSIS, 2012)

Rigorous Design of Lazy Replication System Using Event-B. - Raghuraj Suryavanshi; Divakar Yadav (IC3, 2012)