@misc(unity,
 title        = {Unity},
 url          = {https://docs.unity3d.com/Manual/UnityManual.html},
)
@misc(ide,
 author       = {{Anna Vasileva} and {Jan Bessai}},
 year         = {06.06.2019},
 title        = {cls-scala-ide},
 url          = {https://github.com/combinators/cls-scala-ide},
)
@misc(video,
 author       = {{Anna Vasileva} and {Moritz Roidl}},
 year         = {06.06.2019},
 title        = {Laser Demonstration},
 url          = {https://github.com/combinators/labyrinth},
)
@article(concept40,
 author       = {Haci Bayhan and Karthik Ramachandran Venkatapathy, Aswin and Johannes Dregger and Felix Zeidler and Moritz Roidl and {ten Hompel}, Michael},
 year         = {2017},
 title        = {{A Concept of an Industry 4.0 Research Lab for Future Intralogistics Technologies and Services}},
 journal      = {3rd Interdisciplinary Conference on Production, Logistics and Traffic, ICPLT},
)
@inproceedings(DBLP:conf/isola/BessaiDDMR16,
 author       = {Jan Bessai and Andrej Dudenhefner and Boris D{\"{u}}dder and Moritz Martens and Jakob Rehof},
 year         = {2016},
 title        = {Combinatory Process Synthesis},
 booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
 pages        = {266--281},
 doi          = {10.1007/978-3-319-47166-2_19},
)
@article(Bessai.2018,
 author       = {Jan Bessai and Anna Vasileva},
 year         = {2018},
 title        = {User Support for the Combinator Logic Synthesizer Framework},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {284},
 pages        = {16--25},
 doi          = {10.4204/EPTCS.284.2},
)
@article(Dijkstra1959,
 author       = {Edsger W Dijkstra},
 year         = {1959},
 title        = {A note on two problems in connexion with graphs},
 journal      = {Numerische mathematik},
 volume       = {1},
 number       = {1},
 pages        = {269--271},
 doi          = {10.1007/BF01386390},
)
@article(Engelfriet,
 author       = {{Engelfriet, Joost} and {Heyker, Linda}},
 year         = {1992},
 title        = {Context-free hypergraph grammars have the same term-generating power as attribute grammars},
 journal      = {Acta Informatica},
 doi          = {10.1007/BF01178504},
)
@misc(paho,
 author       = {Eclipse Foundation},
 year         = {2019},
 title        = {Paho},
 url          = {https://www.eclipse.org/paho/},
)
@inproceedings(DBLP:conf/isola/HeinemanBDR16,
 author       = {George T. Heineman and Jan Bessai and Boris D{\"{u}}dder and Jakob Rehof},
 year         = {2016},
 title        = {A Long and Winding Road Towards Modular Synthesis},
 booktitle    = {ISoLA 2016},
 pages        = {303--317},
 doi          = {10.1007/978-3-319-47166-2_21},
)
@article(mqtt,
 author       = {{International Organization for Standardization (ISO)}},
 year         = {2016},
 title        = {ISO/IEC 20922:2016: Information technology -- Message Queuing Telemetry Transport (MQTT) v3.1.1},
 journal      = {ISO: Geneva, Switzerland},
 pages        = {1--73},
)
@article(Kallat.2019,
 author       = {Fadil Kallat and Tristan Schaefer and Anna Vasileva},
 year         = {2019},
 title        = {CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories},
 journal      = {In Proceedings of the Proof eXchange for Theorem Proving 2019},
 doi          = {10.4204/EPTCS.301.7},
)
@article(kalman1960,
 author       = {Rudolph Emil Kalman},
 year         = {1960},
 title        = {A new approach to linear filtering and prediction problems},
 journal      = {Journal of basic Engineering},
 volume       = {82},
 number       = {1},
 pages        = {35--45},
 doi          = {10.1115/1.3662552},
)
@inproceedings(JR13,
 author       = {Jakob Rehof},
 year         = {2013},
 title        = {{Towards Combinatory Logic Synthesis}},
 booktitle    = {BEAT 2013, 1st International Workshop on Behavioural Types},
 publisher    = {ACM},
)
@misc(vicon,
 author       = {Vicon},
 year         = {05.09.2019},
 title        = {Motion Tracking Devices},
 url          = {https://www.vicon.com/},
)
@inproceedings(winkels2018automatic,
 author       = {Jan Winkels and Julian Graefenstein and Tristan Sch{\"a}fer and David Scholz and Jakob Rehof and Michael Henke},
 year         = {2018},
 title        = {Automatic composition of rough solution possibilities in the target planning of factory planning projects by means of combinatory logic},
 booktitle    = {ISoLA 2018},
 organization = {Springer},
 pages        = {487--503},
 doi          = {10.1007/978-3-030-03427-6_36},
)