benchmarks/mdp/zeroconf: Fix incorrect reference

benchmarks/mdp/zeroconf/index.json

@@ -24,7 +24,7 @@
 		"name": "the PRISM Benchmark Suite",
 		"url": "http://www.prismmodelchecker.org/benchmarks/"
 	},
-	"description": "This is a PRISM case study [1]. Upon being connected to the network, a device is first required to choose randomly an IP address from a pool of 65024 available addresses. Then the device sends messages to the other devices connected to the network, asking whether any of those devices are currently using the chosen IP address. If no reply is received even after the devices resend such messages three more times, then the device starts using the IP address, initially sending two more messages asserting that the device is claiming the address. `N´ is the number of abstract hosts communicating over the network, `K´ is the number of probes to send and `loss´ means the probability of message loss. See [1] for more details about the model and [2] for more details about the protocol.",
+	"description": "This is a PRISM case study [1]. Upon being connected to the network, a device is first required to choose randomly an IP address from a pool of 65024 available addresses. Then the device sends messages to the other devices connected to the network, asking whether any of those devices are currently using the chosen IP address. If no reply is received even after the devices resend such messages three more times, then the device starts using the IP address, initially sending two more messages asserting that the device is claiming the address. `N´ is the number of abstract hosts communicating over the network, `K´ is the number of probes to send and `loss´ means the probability of message loss. See [2] for more details about the model and [3] for more details about the protocol.",
 	"references": [
 		"https://doi.org/10.1109/QEST.2012.14",
 		"http://www.prismmodelchecker.org/casestudies/zeroconf.php",