Towards Model-Driven Engineering of Smart Contracts for Cyber-Physical Systems. - Péter Garamvölgyi; Imre Kocsis; Benjamin Gehl; Attila Klenik (DSN Workshops, 2018)