SafetyNet: A language-based approach to programmable networks. - Ian Wakeman; Alan Jeffrey; Tim Owen; Damyan Pepper (Comput. Networks, 2001)