Telefona gönder: Principles of model checking