"High-Integrity Interfacing to Programmable Logic with Ada."

Adrian J. Hilton, Jon G. Hall (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics