Beyond modeling: let the system meet the specifications