M. Reitenspieß

Automatic Generation of Prototypes from Formally Specified Abstract Data Types

M. Reitenspieß, G. Merz, 1984 .

An Architecture Supporting Security and Persistent Object Storage

M. Reitenspieß, M. Reitenspieß, 1990, Security and Persistence.

Use case scenarios and preliminary reference model

António Casimiro, Lorenzo Falai, Mohamed Kaâniche, 2007 .