A Blockchain-based Smart Contract System Architecture for Dependable Health Processes. - Mario Ciampi; Fabrizio Marangio; Giovanni Schmid; Mario Sicuranza (ITASEC, 2021)