Specification and analysis of real-time problem solvers | IEEE Journals & Magazine | IEEE Xplore