Jürjens, J.J.JürjensLivshits, B.B.LivshitsScandariato, R.R.Scandariato2022-03-122022-03-122013https://publica.fraunhofer.de/handle/publica/380073en004Engineering secure software and systems. 5th international symposium, ESSoS 2013conference proceeding