Design of a verification tool for complex system design door P.W. Kuppens