In the paper you'll notice a large portion of it analyzes Vortex, both standalone and embedded. Definitely worth a read.