Complete symbolic simulation of SystemC models [electronic resource] : efficient formal verification of finite non-terminating programs - Herdt, Vladimir. (Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2016)