A Model for Verification and Validation of Law Compliance of Smart Contracts in IoT Environment | Publicación