A model-driven approach to teaching concurrency | Publicación