TY - RPRT T1 - The H Metalanguage and the H Tools A1 - Fernández-Madrigal, Juan-Antonio A1 - Galindo, Cipriano A1 - Cruz-Martín, Ana A1 - Gonzalez-Jimenez, Javier Y1 - 2007 T2 - System Engineering and Automation Dpt. - University of Málaga (Spain) ER -