Miguel Llopis Fernando Llopis 664-665 2008 ICALT https://doi.org/10.1109/ICALT.2008.193 https://doi.ieeecomputersociety.org/10.1109/ICALT.2008.193 conf/icalt/2008 db/conf/icalt/icalt2008.html#LlopisL08