Automation systems and integration — Equipment behaviour catalogues for virtual production systems —Part 2: Formal...