Pierre Wodey Fabrice Baray Linking Codesign and Verification by Means of E-LOTOS FDT. 1487-1491 1999 conf/euromicro/1999 EUROMICRO http://csdl.computer.org/comp/proceedings/euromicro/1999/0321/01/03211487abs.htm db/conf/euromicro/euromicro1999.html#WodeyB99