Conceptual models in man-machine design verification | lit.salon