Some graph problems in timing analysis of the specificationTekko, JaanusProceedings of the 5th Nordic Workshop on Program Correctness, 19941994 / p. 184-193