Thematic series on Verification and Composition for the Internet of Services and Things