A systematic review of code generation proposals from state machine specifications | Publicación