Storm has recently been featured in a tutorial on probabilistic verification at UAI 2022.

The tutorial slides can be found online. Material for the hands-on session is available on github.