A Tutorial for tools developed on the DARPA CASE program - View it on GitHub