Verification and Validation Methods for a Trust-by-Design Framework for the IoT | Publicación