Structured design of testable digital systems by J.H.M.M. van Rhee