We now have the official word that our research project has been accepted. The kickoff will be on July 14. We now have 10 person years in total to work on DSLs for embedded development, integration with formal methods, and MPS. We will attempt to make this a very focused and open project, with possibilities for collaboration for third parties. Stay tuned!