Sy Wong Gertrude Levine Kernel Ada to Unify Hardware and Software Design. 28-38 1998 SIGAda http://doi.acm.org/10.1145/289524.289529 db/conf/sigada/sigada98.html#WongL98