Verifying that Agents have Started after the Reboot of a Machine