Formalizing and Checking Requirements

Chapter 15 discusses classes of requirements that a distributed system may have to satisfy.