Hardware/Software Embedded System Specifiaction and Design Using Ada and VHDL. - Adrian López; Maite Veiga; Eugenio Villar (Ada-Europe, 1999)