Models and methods for action refinement by A. Rensink