Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496

C. Atkinson, Gerbig, R., and Kennel, B., “Symbiotic general-purpose and domain-specific languages”, in Proceedings of the 34th International Conference on Software Engineering (ICSE 2012), 2012.