Jürjens, J.J.JürjensLivshits, B.B.LivshitsScandariato, R.R.Scandariato2022-03-132022-03-132013https://publica.fraunhofer.de/handle/publica/398608en004Preface. International Symposium on Engineering Secure Software and Systems, ESSoS 2013conference paper