This book assumes familiarity with threads (in a language such as Ada, C♯, or Java) and introduces the entity-life modeling (ELM) design approach for certain kinds of multithreaded software. ELM focuses on "reactive systems," which continuously interact with the problem environm…