@InProceedings{Bose:1999:ASE,
  author =       "Prasanta Bose",
  title =        "Automated Translation of {UML} Models of Architectures
                  for Verification and Simulation Using {SPIN}",
  booktitle =    "Proc. of the 14th IEEE International Conference on
                  Automated Software Engineering, ASE'99",
  editor =       "Robert J. Hall and Ernst Tyugu",
  publisher =    "IEEE",
  year =         "1999",
}