@InProceedings{johnsen11fsen,
  author =       {Einar Broch Johnsen and Thi Mai Thuong Tran
                  and Olaf Owe and Martin Steffen},
  title =        {Safe locking for multi-threaded {J}ava},
  booktitle =    {Proc.\ 4th International Conference on
                  Fundamentals of Software Engineering ({FSEN}'11)},
  editor =       {Farhad Arbab and Marjan Sirjani},
  pages     =    {158--173},
  year =         2012,
  series =       {Lecture Notes in Computer Science},
  volume =       7141,
  publisher =    {Springer-Verlag},
  month =        apr,
}