Behavioral Analysis of Real-Time Systems with Interdependent Tasks door