@InProceedings{Paltor:1999:ASE,
  author =       "Ivan Porres Paltor and Johan Lilius",
  title =        "{vUML}: A Tool for Verifying {UML} Models",
  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",
}