"Mapping Template Semantics to SMV."

Yun Lu et al. (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics