Massacci, F.2022-03-022022-03-0220103-642-11746-5978-3-642-11746-6https://publica.fraunhofer.de/handle/publica/150701Engineering secure software and systems. Second international symposium, ESSoS 2010