In this section we describe a method of the PCM family for automated configuration of problem solvers. We configure complete models and verify, criticise and modify them. We discuss the four steps of a PCM method (propose, verify, critique and modify), and visualise them in diagrams: the ovals are inferences (steps and sub-steps in the method), the solid-line boxes are input/output data of the inferences, and the dotted boxes represent knowledge that is specific for a particular type of PSMs. In our case the dotted boxes contain knowledge about diagnostic methods.