Real-Time Reasoning: the Case of Surveillance Systems