PL is an imperative language with parallel composition and communication to reflect concurrency in the controlled systems. Since treatment of real-time constraints for reactive systems is the overall goal of ProCoS II, provides the means to express assertions on the timed behaviour of programs. It features delay timing as present in and allows to specify upper bounds for the time spent for the execution of internal actions. A proposal for the core of PL can be found in [16].