Smart & Flexible Automation Production Systems
											Marcos, M., Estévez, E. Formal modelling of industrial distributed control systems, 16th IFAC World Conference,  Prague, Czech Republic, 2005.
																							ISBN: 0-08-045108-X.
																						http://www.sciencedirect.com/science/article/pii/S1474667016370768
																						
											
										Estévez, E., Marcos, M. IEC 61131-3 code generation using XML technologies, 1er Congreso Español de Informática, Granada, Spain, 2005.
										
																					ISBN: 84-9732-448-X.
																					
										
										Estévez, E., Marcos, M., Orive, D. Modelado formal de sistemas de control distribuido y adaptación a diferentes fabricantes, VIII Jornadas de Tiempo Real, Bilbao, Spain, 2005.
										
																				
										
										Estévez, E., Torre, I., Gangoiti, U., Marcos, M., Portillo, J., Orive, D., Iriondo, N., Cabanes, I., Sarachaga, I., Artaza, F. Modelado basado en componentes de sistemas distribuidos de control industrial, XXVI Jornadas de automática, Alicante, Spain, 2005.
										
																					ISBN: 84-689-0730-8.
																					
										