Measurement and prediction of the verification cost of the design in a formalized methodology | Publicación