@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} }