Giuseppe De Giacomo Massimo Mecella 2006 conf/IEEEscc/2006 IEEE SCC http://doi.ieeecomputersociety.org/10.1109/SCC.2006.25 db/conf/IEEEscc/scc2006.html#GiacomoM06