Barthe, G.2022-03-022022-03-022012978-3-642-28165-53-642-28165-6https://publica.fraunhofer.de/handle/publica/153713Engineering secure software and systems. 4th international symposium, ESSoS 2012