Visit in the frame of the Bilateral project entitled: "Evaluating Process Algebra Models versus State-Oriented Models for the Performance Analysis of Real-Time Systems and Software Designs"., N. Popov