strong connectivity and shortest paths for checking models
Voor meer informatie zie de Engelse website.