Complete Symbolic Simulation of SystemC Models - Vladimir Herdt (Springer, 2016)