Text this: Engineering secure software and systems : 5th international symposium, ESSoS 2013, Paris, France, February 27-March 1, 2013 : proceedings / Jan Jürjens, Benjamin Livshits, Riccardo Scandariato (eds.).