@inproceedings{StodtJastremskojReichetal.2019,
  author    = {Jan Stodt and Eugen Jastremskoj and Christoph Reich and Dominik Welte and Axel Sikora},
  title     = {Formal Description of Use Cases for Industry 4.0 Maintenance Processes Using Blockchain Technology},
  series = {Proceedings of the 2019 10th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS)},
  volume    = {2},
  publisher = {IEEE},
  isbn      = {978-1-7281-4069-8 (digital)},
  doi       = {10.1109/IDAACS.2019.8924382},
  pages     = {1136 -- 1141},
  year      = {2019},
  abstract  = {Maintenance processes in Industry 4.0 applications try to achieve a high degree of quality to reduce the downtime of machinery. The monitoring of executed maintenance activities is challenging as in complex production setups, multiple stakeholders are involved. So, full transparency of the different activities and of the state of the machine can only be supported, if these stakeholders trust each other. Therefore, distributed ledger technologies, like Blockchain, can be promising candidates for supporting such applications. The goal of this paper is a formal description of business and technical interactions between non-trustful stakeholders in the context of Industry 4.0 maintenance processes using distributed ledger technologies. It also covers the integration of smart contracts for automated triggering of activities.},
  language  = {en}
}