A knowledge-based approach for worst-case timing analysis of microprocessor systems | IEEE Conference Publication | IEEE Xplore