@article{BrSt:91,
  title = {Specification and design of shared resource arbitration.},
  pages = {1-22},
  author = {M. Broy and T. Streicher},
  journal = {Int.~J.~Parallel Program.},
  number = {1},
  year = {1991},
  volume = {20},
}