RT-BDI: A Real-Time BDI Model