Unifying Tool for Analyzing and Understanding Nondeterministic Systems.