Formal Specification of a Scanning Tunnelling Microscope. - Joaquín Nicolás; Juan Alcalde; José Ambrosio Toval Álvarez; Aurelio Arenas (APPIA-GULP-PRODE, 1997)

Formal Validation and Verification of Atomic Resolution Microscope Control and Topography. - Joaquín Nicolás; José Ambrosio Toval Álvarez; Aurelio Arenas; Juan Alcalde (Cybern. Syst., 2001)

Reset Control of an Industrial In-line pH Process. - Joaquín Carrasco; Alfonso Baños; Aurelio Arenas (ETFA, 2009)

Modeling and Control of Steam Generation with a Parabolic Dish Collector. - Ovidio López; José Francisco Sáez; Alfonso Baños; Aurelio Arenas (EBCCSP, 2019)

Reset-and-Hold Control of Systems With Time Delay. - José Francisco Sáez; Alfonso Baños; Aurelio Arenas (IEEE Access, 2022)

Multiple-Input Reset-and-Hold Control of Systems with Delay. - José Francisco Sáez; Alfonso Baños; Aurelio Arenas (CoDIT, 2023)