Consistency and satisfiability of waveform timing specifications. - Janusz A. Brzozowski; T. Gahlinger; Farhad Mavaddat (Networks, 1991)

On Deducing Timing Constraints in the Verification of Interfaces. - Farhad Mavaddat; T. Gahlinger (Formal Methods Syst. Des., 1998)