Part of this research has been realized while Floriano Zini was visiting the Department of Computer Science & Software Engineering at the University of Melbourne.
