By Prof. Manuel Barbosa, HASLab/INESC TEC & UMinho, and DCC-FCUP.
By Bernardo Portela, HASLab/INESC TEC & University of Minho.
By Prof. Pooya Farshim, Queen's University Belfast, UK.