L. Besancon et al., "Modelling of decentralised blockchain applications development", in Proc. of the 2020 Int. Conf. on High Performance Computing & Simulation (HPCS 2020), Virtual, Online, HAL, 2021