cost) of validating software embedded in physical systems. i.e. to what extent can this software