AutoCRUD: Automatic generation of CRUD specifications in interaction flow modelling language | Publicación