@misc{indiciae3db532a3f7bc,
  title = {Constraint-Based Deadlock Checking of High-Level Specifications},
  author = {Stefan Hallerstede and Michael Leuschel},
  year = {2011},
  url = {https://arxiv.org/abs/1109.2015},
  note = {Source identifier: 1109.2015}
}