Framework for Specification and Validation of Real-Time Systems Using Circus Actions --