Luca Compagna Volkmar Lotz Fabio Massacci 1-2 2007 conf/stm/2007 STM@ESORICS https://doi.org/10.1016/j.entcs.2008.01.001 db/conf/stm/stm2007.html#CompagnaLM08