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

C. Atkinson, Gerbig, R., and Kennel, B., “On-the-Fly Emendation of Multi-level Models”, in 8th European Conference on Modelling Foundations and Applications (ECMFA 2012), 2012.