Formalising a Gateway-based Blockchain Interoperability Solution with Event-B | IEEE Conference Publication | IEEE Xplore