Nicola Bombieri Franco Fummi Graziano Pravadelli Andrea Fedeli Hybrid, Incremental Assertion-Based Verification for TLM Design Flows. 140-152 2007 24 IEEE Design & Test of Computers 2 http://doi.ieeecomputersociety.org/10.1109/MDT.2007.48 db/journals/dt/dt24.html#BombieriFPF07