Laying the foundation for smart contract development: an integrated engineering process model