Paolo Rocchi Gurami Tsitsiashvili 732-736 2013 ARES https://doi.org/10.1109/ARES.2013.96 https://doi.ieeecomputersociety.org/10.1109/ARES.2013.96 conf/IEEEares/2013 db/conf/IEEEares/ares2013.html#RocchiT13