Industrial automation systems and integration. Process specification language - Definitional extension: Temporal and state extension