Using formal specifications in object oriented design. - Laura Felice (IRMA Conference, 2000)

Incorporating a Reuse Model to the RAISE Formal Method. - Daniel Riesco; Laura Felice; Narayan C. Debnath; German Montejano (IRI, 2004)

Reuse of Formal Specifications. - Laura Felice; Daniel Riesco (Encyclopedia of Information Science and Technology (IV), 2005)

Using a feature model for RAISE specification reusability. - Daniel Riesco; Laura Felice; Narayan C. Debnath; German Montejano (IRI, 2005)

A Feature Model of E-Government Systems Integrated with Formal Specifications. - Narayan C. Debnath; Laura Felice; German Montejano; Daniel Riesco (ITNG, 2008)

Integrating natural language oriented models with feature model. - María Carmen Leonardi; María Virginia Mauco; Laura Felice; German Montejano; Daniel Riesco; Narayan C. Debnath (AICCSA, 2009)

A Strategy to Derive RSL Specification from Feature Models. - Narayan C. Debnath; Laura Felice; María Carmen Leonardi; María Virginia Mauco; German Montejano; Daniel Riesco (SEDE, 2009)

Recovering business process diagrams from UML diagrams. - María Carmen Leonardi; María Virginia Mauco; Laura Felice; German Montejano; Daniel Riesco; Narayan C. Debnath (AICCSA, 2010)

Integrating formal methods with domain analysis. - Laura Felice; María Carmen Leonardi; María Virginia Mauco; German Montejano; Daniel Riesco; Narayan C. Debnath (J. Comput. Methods Sci. Eng., 2010)