Model Procurement for Industrial Cyber-Physical Systems Using Cryptographic Performance Attestation. - Bojič Burgos, Jay; Sedlar, Urban; Pustišek, Matevž (Future Internet, 2026)