Implementing a tool for timing analysis of real-time production systems | IEEE Conference Publication | IEEE Xplore