The book describes how to formally evaluate incident reporting systems to determine whether they meet these requirements.