Formal Description of Use Cases for Industry 4.0 Maintenance Processes Using Blockchain Technology | IEEE Conference Publication | IEEE Xplore