1. RATSY – A New Requirements Analysis Tool with Synthesis
2. How to Handle Assumptions in Synthesis
3. Roderick Bloem, Rüdiger Ehlers, and Robert Könighofer. 2015. Cooperative Reactive Synthesis. In Automated Technology for Verification and Analysis, Bernd Finkbeiner, Geguang Pu, and Lijun Zhang (Eds.). Springer International Publishing, Cham, 394--410.
4. Roderick Bloem, Stefan Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, and Martin Weiglhofer. 2007. Automatic hardware synthesis from specifications: A case study. In 2007 Design, Automation & Test in Europe Conference & Exhibition. IEEE, 1--6.
5. Specify, Compile, Run: Hardware from PSL