A novel service level agreement model using blockchain and smart contract for cloud manufacturing in industry 4.0[J] ENTERPRISE INFORMATION SYSTEMS Tan, Wenan Zhu, Hai Tan, Jinjing Zhao, Yao Xu, Li Da Guo, Kai