Liveness conditions in model-based service specifications
Alan David Fekete · 1995
Many different formal methods provide mathematical models of reactive systems (those that interact with an environment to provide a service).There is disagreement on many details, but many methods use the transition