selected publications conference paper IoT Service Composition for Concurrent Timed Applications. . 50-54. 2019