@InProceedings{dovland12isola,
  author =       {Johan Dovland and Einar Broch Johnsen and Ingrid Chieh Yu},
  title =        {Tracking Behavioral Constraints during Object-Oriented Software Evolution},
  editors =      {T. Margaria and B. Steffen and M. Merten},
  booktitle =    {Proc.\ Intl.\ Symposium on Leveraging Applications ({ISoLA}'12)},
  year =         2012,
  pages =        {253--268},
  series =       {Lecture Notes in Computer Science},
  volume =       7609,
  publisher =    {Springer-Verlag},
}