Industrial automation systems and integration. Process specification language - Duration and ordering theories