Real-time system validation by model checking in TRIO. - Miguel Felder; Angelo Morzenti (RTS, 1991)

Formal Specification and Timing Analysis of High-Integrity Real-Time Systems. - Miguel Felder; Carlo Ghezzi; Mauro Pezzè (NATO ASI RTC, 1992)

Testing by Executing Logic Specifications. - Miguel Felder; Pierluigi San Pietro (NATO ASI RTC, 1992)

Finite Time Semantics for Executable Logic Specifications. - Miguel Felder; Pierluigi San Pietro (NATO ASI RTC, 1992)

Real-Time Systems: A Survey of Approaches to Formal Specification and Verification. - Carlo Ghezzi; Miguel Felder; Carlo Bellettini (ESEC, 1993)

Analyzing Refinements of State Based Specifications: The Case of TB Nets. - Miguel Felder; Carlo Ghezzi; Mauro Pezzè (ISSTA, 1993)

Merlot: A Tool for Analysis of Real-Time Specifications. - Carlo Bellettini; Miguel Felder; Mauro Pezzè (IWSSD, 1993)

High-Level Timed Petri Nets as a Kernel for Executable Specifications. - Miguel Felder; Carlo Ghezzi; Mauro Pezzè (Real Time Syst., 1993)

A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets. - Miguel Felder; Angelo Morzenti (ICTL, 1994)

Validating Real-Time Systems by History-Checking TRIO Specifications. - Miguel Felder; Angelo Morzenti (ACM Trans. Softw. Eng. Methodol., 1994)

Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models. - Miguel Felder; Dino Mandrioli; Angelo Morzenti (IEEE Trans. Software Eng., 1994)

Foundations of Object-Oriented Modeling Notation in a Dynamic Logic Framework. - Claudia Pons; Gabriel Baum; Miguel Felder (FMLDO, 1998)

Modal Logic as a Design Notation. - Carlos Areces; Miguel Felder; Dan Hirsch; Daniel Yankelevich (IWSSD, 1998)

A Dynamic Logic Model for the Formal Foundation of Object-Oriented Analysis and Design. - Claudia Pons; Gabriel Baum; Miguel Felder (SCCC, 1998)

A Theory of Implementation and Refinement in Timed Petri Nets. - Miguel Felder; Angelo Gargantini; Angelo Morzenti (Theor. Comput. Sci., 1998)

Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification. - Víctor A. Braberman; Miguel Felder (ESEC / SIGSOFT FSE, 1999)

Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques. - Herbert Weber; Marcus Klar; Stefan Mann; Ralf-Detlef Kutsche; Stefan Jähnichen; Robert Büssow; Hartmut Ehrig; Robert Geisler; Gabriel Baum; Claudia Pons; Miguel Felder; Sergio Waldoke (German-Argentinian Workshop on Information Technology, 1999)

A Framework for Analyzing Mobile Transaction Models. - Roberto Hirsch; Andrés Coratella; Miguel Felder; Eduardo Rodríguez (J. Database Manag., 2001)

A formal design notation for real-time systems. - Miguel Felder; Mauro Pezzè (ACM Trans. Softw. Eng. Methodol., 2002)

A Framework for Analyzing Mobile Transaction Models. - Andrés Coratella; Miguel Felder; Roberto Hirsch; Eduardo Rodríguez (Advanced Topics in Database Research, Vol. 2, 2003)

Fault-based Testing of E-Commerce Applications. - Marisa A. Sanchez; Juan Carlos Augusto; Miguel Felder (VVEIS, 2004)

Mobile Transaction Models Framework. - Andrés Coratella; Miguel Felder; Roberto Hirsch; Eduardo Rodríguez (Encyclopedia of Information Science and Technology (IV), 2005)