@inproceedings{DBLP:conf/date/BiewerAGSH15,
  title = {A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving},
  author = {Biewer, Alexander and Andres, Benjamin and Gladigau, Jens and Schaub, Torsten and Haubelt, Christian},
  booktitle = {{DATE}},
  pages = {357--362},
  publisher = {{ACM}},
  year = {2015}
}