A library for handling clock zones as they appear in the context of timed automata. Timed automata have been pioneered by Rajeev Alur and David Dill in 1994 to model real-time systems . Timed automata extend finite automata with real-valued clocks. This crate provides an implementation of the difference bound matrix (DBM) data structure to efficiently represent clock zones. The implementation is mostly based on .