About the NCES Analyzer
Opening an NCES model
Obtaining a reachability graph.
Exploring a state space
Starting integrated tools.