A GSPN model for the analysis of DNS-based redirection in distributed Web systems | IEEE Conference Publication | IEEE Xplore