On Analyzing Virtual Threads – a Structured Concurrency Model for Scalable Applications on the JVM | IEEE Conference Publication | IEEE Xplore