An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing. - José M. Alvarez; Pedro de la Cámara; Jesús Martínez; Pedro Merino 001; Francisco C. Perez; Victoria Morillo (ISoLA, 2006)

Communication Software: Design and Testing. - José M. Alvarez; Pedro Merino 001; Laura Panizo; Francisco C. Perez; Andrés Sanz (Encyclopedia of Software Engineering, 2010)