"Model Based Development of Safety-Critical Systems Using Template Based ..."

Matthias Regensburger et al. (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics