For an overview of our research challenges and results (status 2018) please see the recent overview paper