Chat2Code: A Chatbot for Model Specification and Code Generation, The Case of Smart Contracts | IEEE Conference Publication | IEEE Xplore