Early model-driven timing validation of IoT-compliant use cases | IEEE Conference Publication | IEEE Xplore