From Teleo-Reactive specifications to architectural components: A model-driven approach | Publicación