Rachid Helaihel Kunle Olukotun Java as a specification language for hardware-software systems. 690-697 1997 ICCAD http://doi.acm.org/10.1145/266388.266611 db/conf/iccad/iccad1997.html#HelaihelO97