A preliminary study of different metrics for the validation of device and behavioral models | Publicación