@misc{indiciae22734c79525e,
  title = {Algorithms for Synthesizing Priorities in Component-based Systems},
  author = {Chih-Hong Cheng and Saddek Bensalem and Yu-Fang Chen and Rongjie Yan and Barbara Jobstmann and Harald Ruess and Christian Buckl and Alois Knoll},
  year = {2011},
  url = {https://arxiv.org/abs/1107.1383},
  note = {Source identifier: 1107.1383}
}