The following publications are possibly variants of this publication:
- Reuse of Formal Verification Efforts of Incomplete Models at the Requirements Specification StageRebeca P. Díaz Redondo, José J. Pazos Arias, Ana Fernández Vilas. cbsq 2003: 326-351 [doi]
- Supporting Software Variability by Reusing Generic Incomplete Models at the Requirements Specification StageRebeca P. Díaz Redondo, Martín López Nores, José J. Pazos Arias, Ana Fernández Vilas, Jorge García Duque, Alberto Gil-Solla, Ana Belén Barragáns-Martínez, Manuel Ramos Cabrer. icsr 2004: 1-10 [doi]
- ARIFS: an Environment for Incomplete and Formal SpecificationsRebeca P. Díaz Redondo, José J. Pazos Arias, Ana Fernández Vilas, Ana Belén Barragáns-Martínez. ENTCS, 66(4):16-35, 2002. [doi]