High-Level CCSDS 123.0-B-2 Hyperspectral Image Compressor Verification Model. - Daniel Vorhaug; Samuel Boyle; Milica Orlandic (WHISPERS, 2024)