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