Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs - Herdt, Vladimir (Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2016)