Reasoning system for real time reactive systems