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