Integration of quantitative evaluation techniques based on formal methods (like stochastic Petri nets) within the current standards and development methodologies of software systems and manufacturing systems.

For more information please check the publications of Javier Campos, José Merseguer, Simona Bernardi, Elena Gómez-Martínez, Diego Pérez-Palacín, Ricardo Rodríguez, and the software tools page.