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