Temporal Logic Foundation of the Real-Time Distributed Requirements Specification Language