publication venue for Timed protocol analysis of interconnected mobile IoT devices. 12. 2021 A semantic-based discovery service for the Internet of Things. 10. 2019 Management of service compositionbased on self-controlled components. 6. 2015
