Graceful Shutdown in MPLS and Generalized MPLS Traffic Engineering Networks. - Zafar Ali; Jean-Philippe Vasseur; Anca Zamfir; Jonathan Newton (RFC, 2010)

Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper). - Sean Braithwaite; Ethan Buchman; Igor Konnov 001; Zarko Milosevic 001; Ilina Stoilkovska; Josef Widder; Anca Zamfir (FMBC@CAV, 2020)

Tendermint Blockchain Synchronization: Formal Specification and Model Checking. - Sean Braithwaite; Ethan Buchman; Igor Konnov 001; Zarko Milosevic 001; Ilina Stoilkovska; Josef Widder; Anca Zamfir (ISoLA (1), 2020)