Industrial automation systems and integration. Process specification language. Duration and ordering theories Part 13, (22nd March 2023)