Title: Conceptual models in man-machine design verification