Thematic Series on Automated and Verifiable Internet Services and Applications Development