没有找到引用Verifiable and resource-aware component model for IoT devices的文章。