A fuzzy real-time temporal logic

High-level descriptions of real-time systems often use fuzzy notions of time that are left open to domain specific interpretations. In order to verify that a given implementation conforms to such loosely defined specifications, the typical approach is to verify the implementation to be correct within well defined limits of time tolerance. This approach determines whether the real-time requirements are met, but does not reflect how well it is met.