Survey on Directed Model Checking