Redirecting to /embedded-software-group/references/sampling-based-runtime-verification