\input zb-basic \input zb-ioport \iteman{io-port 70067205} \itemau{Baresi, Luciano; Ghezzi, Carlo} \itemti{Validation of component and service federations in automotive software applications} \itemso{ASWSD, 57-73 (2004).} \itemcc{} \itemut{} \itemli{doi:10.1007/11823063\_5} \end