AutoPA: Automatic Prototyping from Requirements | Publicación