Pedro Sánchez, Diego Alonso, José Miguel Morales, Pedro Javier Navarro Lorente. From Teleo-Reactive specifications to architectural components: A model-driven approach. Journal of Systems and Software, 85(11):2504-2518, 2012. [doi]
Abstract is missing.