Alessandro Fin: A functional testing framework for embedded systems. University of Verona, Italy 2002