Bergez, Anne2022-03-022022-03-022013https://publica.fraunhofer.de/handle/publica/155677SAFECOMP 2013, International Conference on Computer Safety, Reliability and Security. Workshops and Tutorials