Symbolic Simulation Methods for Industrial Formal Verification door Robert B. Jones