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