Choose (for Hyper-V) or VMDK (for VMware) as the output.
This structure lacks formal metadata for safety levels (ASIL) or quality attributes like maintainability. convert tibx to iso