1. Institute of Applied Informatics and Formal Description Methods, Karlsruhe Institute of Technology and Blockchain Center EU, University of Kassel, Kassel, Germany
2. Institute of Applied Informatics and Formal Description Methods, Karlsruhe Institute of Technology, Karlsruhe, Germany