(1) Um modelo que aceita as mesmas entradas e produz o mesmo gera, como um determinado system.~(2), O processo de desenvolvimento ou usando um modelo de como em (1).