Syntax and Selmantics of PRETSEL-A Specification Language for Parallel Real-Time Systems *