An architecture for real-time reasoning and system control | IEEE Journals & Magazine | IEEE Xplore