Description language for the modelling and analysis of temporal change of instrumentation and control system structuresVolgen