Formal verification of the pub-sub blockchain interoperability protocol using stochastic timed automata[J] FRONTIERS IN BLOCKCHAIN 2023(6) Alam, Md Tauseef Halder, Raju Maiti, Abyayananda
