Mapping Template Semantics to SMV

@inproceedings{Lu-al:ASE04,
  author    = {Yun Lu and
               Joanne M. Atlee and
               Nancy A. Day and
               Jianwei Niu},
  title     = {Mapping Template Semantics to {SMV}},
  booktitle = {ASE},
  pages     = {320--325},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
}