A graph-based approach for timing analysis and refinement of OPS5 knowledge-based systems | IEEE Journals & Magazine | IEEE Xplore