Vampir

This analysis study explains by example how Vampir can be used to