Real time process algebra with time-dependent conditions door