From Domain-Specific Language to Code: Smart Contracts and the Application of Design Patterns | IEEE Journals & Magazine | IEEE Xplore