Integrating schedulability analysis and SDL in an object-oriented methodology for embedded real-time systems. - José María Álvarez 002; Manuel Díaz; Luis Llopis; Ernesto Pimentel 001; José M. Troya (SDL Forum, 1999)

Una Metodología de Desarrollo Orientada a Objtos para Sistemas Empotrados de Tiempo Real. - José María Álvarez 002; Manuel Díaz; Luis Llopis; Ernesto Pimentel 001; José M. Troya (JISBD, 2000)

SDL and hard real time systems: new design and analyze techniques. - José María Álvarez 002; Manuel Díaz; Luis Llopis; Ernesto Pimentel 001; José M. Troya (SAM, 2000)

Deriving hard real-time embedded systems implementations directly from SDL specifications. - José María Álvarez 002; Manuel Díaz; Luis Llopis; Ernesto Pimentel 001; José M. Troya (CODES, 2001)

An Object-oriented Methodology for Embedded Real-time Systems. - José María Álvarez 002; Manuel Díaz; Luis Llopis; Ernesto Pimentel 001; José M. Troya (Comput. J., 2003)

Integrating Schedulability Analysis and Design Techniques in SD. - José María Álvarez 002; Manuel Díaz; Luis Llopis; Ernesto Pimentel 001; José M. Troya (Real Time Syst., 2003)

Towards a Maude Formal Environment. - Francisco Durán 001; Camilo Rocha; José María Álvarez 002 (Formal Modeling: Actors, Open Systems, Biological Systems, 2011)

Tool Interoperability in the Maude Formal Environment. - Francisco Durán 001; Camilo Rocha; José María Álvarez 002 (CALCO, 2011)

Dynamic Validation of Maude Prototypes of UML Models. - Francisco Durán 001; Manuel Roldán; Antonio Moreno-Delgado; José María Álvarez 002 (Specification, Algebra, and Software, 2014)