Zanolin, L; Mascolo, C; Emmerich, W; (2010) Model checking programmable router configurations.