known to have caused a failure in that system). Le Troan et al. also illustrate the use
of DbC with the Object Constraint Language (OCL), a formal language related to
UML. Jean-Marc Jezequel and Bertrand Meyer [242] present a particularly striking
case where DbC could have detected a $500 million error. They argue that the