Machine generated authority record.
Work cat.: (OSt): Kropf T 46548, Introduction to formal Hardware Verification