selected publications chapter Blockchain-Based Business Processes: A Solidity-to-CPN Formal Verification Approach. Lecture notes in computer science. 47-53. 2021