Anat Dahan Daniel Geist Leonid Gluhovsky Dmitry Pidan Gil Shapir Yaron Wolfsthal Lyes Benalycherif Romain Kamdem Younes Lahbib Combining System Level Modeling with Assertion Based Verification. 310-315 2005 conf/isqed/2005 ISQED http://doi.ieeecomputersociety.org/10.1109/ISQED.2005.32 db/conf/isqed/isqed2005.html#DahanGGPSWBKL05