models of software execution 4592718