Hephaestus: Modeling, Analysis, and Performance Evaluation of Cross-Chain Transactions. - Rafael Belchior; Peter Somogyvari; Jonas Pfannschmidt; André Vasconcelos 001; Miguel Correia 001 (IEEE Trans. Reliab., 2024)