AF3 (AutoFOCUS3) is an open-source, model-based, development tool for distributed, reactive, embedded software systems.
At EclipseCon Europe 2016, I spent a few minutes chatting with Johannes Eder and Thomas Böhm from the project team to learn more about the project.
You can check out the project website at http://af3.fortiss.org