Kaydı eposta ile gönder: Control in Boolean Networks With Model Checking