Statistical model checking of ad hoc routing protocols in lossy grid networks