SPDXVersion: SPDX-2.1
DataLicense: CC0-1.0
SPDXID: SPDXRef-DOCUMENT
DocumentName: project
DocumentNamespace: http://spdx.org/spdxdocs/spdx-v2.1-0fd890b6-1b9a-4bff-81e4-bf2ea7653068
Creator: Person: Anonymous ()
Creator: Organization: Anonymous ()
Creator: Tool: reuse-6.1.0
Created: 2025-12-22T11:20:10Z
CreatorComment: <text>This document was created automatically using available reuse information consistent with REUSE.</text>
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-fb6ab91ece87cc0549a6ceadc4b9e120
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-602993f8b6366fbab566ce9d96e3ec9b
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-f05043e4b0aa37a52a835338a9e559b8
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-2457ef7541fd45493c30485fedd72d9e
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-78089c80983c6a649e19034988f4568b
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-68cba35681a064ef9ca5dde8dda3fea6
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-5f299ad42f582e9ef918046451492562
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-21d0039e11831afef6adc1b5bf1a8cbf
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-a7e1ffc11fa87c67a40ff5c57d39ac61
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-4a3317bb6946e41edfc28179129f7a35
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-020542c3ebde8241d7975a9a68dc4f77
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-188017da9e196b9287fd3d81287f86ae
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-bdbd2e3ee164b21f1743519e4c29ca87
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-4f958b74c5234bf5520768a8caf9e4ef
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-6663a5fc1a1dcdfda8547c2790909d1f
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-8faf7b68e85531d7c19193603071fd4f
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-11c5331fcd9e63db0da122de24c5f593
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-c0a102d8047694244539f0ca11e829e0
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-b5657dd663cc08eb473c001c2fd319a8
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-29297c7b04abc7f6532f655efd75e902
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-9b31574636c9c97ff247b4c5a7132cff
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-4aba8ee851914ea7b1cf9510cc5ea2c6
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-30c33da1e0f6f3248594d6a677720338
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-b75d4d38b82c03d5c21434a390f492c9
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-2f828a9fd30bc5643a855baa9ccb15bf
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-7ff689a2701967e12373d2165ba01653
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-65418845b20896259f27446c2ea1c026
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-2561573737ca2222f7759b54cf714879
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-7aa59408545b7a7285462bbed988033a
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-7a8878b7d6d5e92e9cfacaa3c23b2e8c
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-848693e64c06ae0f11802ccbdb72f6a5
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-370801ceb47d027dfa209a5318fe6e44
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-340ac5ab7ae6d987ccf625d2c07ed929
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-84de61d171c682cb9bfb2869d5f8e22f
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-af38336e9d71255a9da670fc4befb73a
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-17e85974fb780b4b70f12cfafe91912c
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-fe5ac6b08bfdd4c3d24a49b9047d8a21
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-1a51d5613939142a6c2e0d019d1ae518
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-8f693276f7ee8233ea4d613cdbb1a5e9
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-a86c7014f8730f920c1775738e2ab372
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-641b3ef116841e28a9cc74b2535f9ae2

FileName: ./.config/nextest.toml
SPDXID: SPDXRef-fb6ab91ece87cc0549a6ceadc4b9e120
FileChecksum: SHA1: a2debbfbeb217712fb512bbf3803cffd6f788ae7
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./.gitignore
SPDXID: SPDXRef-602993f8b6366fbab566ce9d96e3ec9b
FileChecksum: SHA1: 2de1d7bee78ea8e13b51529a9952d687e4611643
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./.gitlab-ci.yml
SPDXID: SPDXRef-f05043e4b0aa37a52a835338a9e559b8
FileChecksum: SHA1: a9976567ffe3cc52332b85a5306543c25bb801da
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./.husky/hooks/pre-commit
SPDXID: SPDXRef-2457ef7541fd45493c30485fedd72d9e
FileChecksum: SHA1: 4b6435c129507319a4485a6ec5ecb218704a75a9
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./CODE_OF_CONDUCT.md
SPDXID: SPDXRef-78089c80983c6a649e19034988f4568b
FileChecksum: SHA1: 25202ef726bc3c222e48fc3a059b86af8c632f88
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./Cargo.lock
SPDXID: SPDXRef-68cba35681a064ef9ca5dde8dda3fea6
FileChecksum: SHA1: 8036b8fd29113d6f2da6d0910a8b35c19bb06946
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./Cargo.toml
SPDXID: SPDXRef-5f299ad42f582e9ef918046451492562
FileChecksum: SHA1: 180c61b8c25d127fa81b420b4ba079d5e04ec491
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./README.md
SPDXID: SPDXRef-21d0039e11831afef6adc1b5bf1a8cbf
FileChecksum: SHA1: ac697efa381a42d04e87f960b5baeea5fbe656c0
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./Visualization.ipynb
SPDXID: SPDXRef-a7e1ffc11fa87c67a40ff5c57d39ac61
FileChecksum: SHA1: b8512697153b44d4b39f352c5af36209204e7532
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./data.csv
SPDXID: SPDXRef-4a3317bb6946e41edfc28179129f7a35
FileChecksum: SHA1: 26a7f5bd7f770596aeec137b0fec57767d4af262
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./docs/images/espas.png
SPDXID: SPDXRef-020542c3ebde8241d7975a9a68dc4f77
FileChecksum: SHA1: b7a628d7034c6520f6db490e6812adba6e9f07e4
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./network_experiment.csv
SPDXID: SPDXRef-188017da9e196b9287fd3d81287f86ae
FileChecksum: SHA1: e2a2a8eb70e2f127726eb7bc16f3fabfede5385a
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./poetry.lock
SPDXID: SPDXRef-bdbd2e3ee164b21f1743519e4c29ca87
FileChecksum: SHA1: c4fb881c7a3e95082e4313608e97546a5eb017bd
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./pyproject.toml
SPDXID: SPDXRef-4f958b74c5234bf5520768a8caf9e4ef
FileChecksum: SHA1: a2f276c4bdaf8e6816cf1c6c9d5baecc79b68090
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./report.md
SPDXID: SPDXRef-6663a5fc1a1dcdfda8547c2790909d1f
FileChecksum: SHA1: 4f45f0f469be5d0ab2146b84c8109bc19da63edc
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./reports/sysE.md
SPDXID: SPDXRef-8faf7b68e85531d7c19193603071fd4f
FileChecksum: SHA1: d5b05c4a2df762737e793c8f9f03915c319acb99
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./reports/sysF.md
SPDXID: SPDXRef-11c5331fcd9e63db0da122de24c5f593
FileChecksum: SHA1: c4825d41ee02bf9ac0f8fdb0100785a6f4dc4fbb
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./reports/sysS.md
SPDXID: SPDXRef-c0a102d8047694244539f0ca11e829e0
FileChecksum: SHA1: 021f00bec29a17d392b215b909b5e70a8fa58786
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./scripts/eval.sh
SPDXID: SPDXRef-b5657dd663cc08eb473c001c2fd319a8
FileChecksum: SHA1: 7d48a963da6eee12d76ed88b72edb946b32ba649
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./scripts/interpolate.sh
SPDXID: SPDXRef-29297c7b04abc7f6532f655efd75e902
FileChecksum: SHA1: 0bfe71d0d0b9dd9eb5af99410214f70c103eb2a6
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./scripts/network_experiment.sh
SPDXID: SPDXRef-9b31574636c9c97ff247b4c5a7132cff
FileChecksum: SHA1: 37853395e13c8e3848e46f9585c6f575281c871d
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./scripts/report.sh
SPDXID: SPDXRef-4aba8ee851914ea7b1cf9510cc5ea2c6
FileChecksum: SHA1: 6989a8309cbdac606b340c5e37b401d3e36a6b48
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./scripts/simple_network_experiment.sh
SPDXID: SPDXRef-30c33da1e0f6f3248594d6a677720338
FileChecksum: SHA1: f0f00102b04430efff47d60213e97ddee3f010e4
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./src/commands/generate.rs
SPDXID: SPDXRef-b75d4d38b82c03d5c21434a390f492c9
FileChecksum: SHA1: b69d03a68357e2beeff10ecd8177e6dd9ce2324c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./src/commands/interpolate.rs
SPDXID: SPDXRef-2f828a9fd30bc5643a855baa9ccb15bf
FileChecksum: SHA1: a56ab81714e5164d2ee0a75b6a307f6eeae896c7
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./src/commands/network_experiment.rs
SPDXID: SPDXRef-7ff689a2701967e12373d2165ba01653
FileChecksum: SHA1: 5a93cd0059c43855ade485d079e1e4743eb5da63
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./src/compute.rs
SPDXID: SPDXRef-65418845b20896259f27446c2ea1c026
FileChecksum: SHA1: ac7974055f92dd5dc44d849e151cc239870fe027
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./src/intensities.rs
SPDXID: SPDXRef-2561573737ca2222f7759b54cf714879
FileChecksum: SHA1: 2740e13d2df21266362303a93b1f9bd5716858bd
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./src/launch.rs
SPDXID: SPDXRef-7aa59408545b7a7285462bbed988033a
FileChecksum: SHA1: 379459ae0683a89cdc6f5b42ccfab91cc1ba6686
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./src/main.rs
SPDXID: SPDXRef-7a8878b7d6d5e92e9cfacaa3c23b2e8c
FileChecksum: SHA1: 6e047661ae0e11eb1aed860e7068859332675dd5
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./src/network.rs
SPDXID: SPDXRef-848693e64c06ae0f11802ccbdb72f6a5
FileChecksum: SHA1: 48211fb5af63feedaa326373ab8aa684e9a3e90f
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./src/opt.rs
SPDXID: SPDXRef-370801ceb47d027dfa209a5318fe6e44
FileChecksum: SHA1: d96f4aa6993d805cc542ab650ec04e4d865498a4
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./src/power_supply.rs
SPDXID: SPDXRef-340ac5ab7ae6d987ccf625d2c07ed929
FileChecksum: SHA1: 2323058424a87114b92ee3673a7b17920a4ab579
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./src/report.rs
SPDXID: SPDXRef-84de61d171c682cb9bfb2869d5f8e22f
FileChecksum: SHA1: 8e72b62ee86546e7982e1331b5eff154c32311a9
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./src/store.rs
SPDXID: SPDXRef-af38336e9d71255a9da670fc4befb73a
FileChecksum: SHA1: c29b028284bbb92ed6867e33af89c8b50d3dbaf0
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./src/system.rs
SPDXID: SPDXRef-17e85974fb780b4b70f12cfafe91912c
FileChecksum: SHA1: 13b999f8ff295fef3d50c162bec36b2d29556782
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./systems/network/sysF.toml
SPDXID: SPDXRef-fe5ac6b08bfdd4c3d24a49b9047d8a21
FileChecksum: SHA1: 55de36094c537cfe811679aa86ee0ec15daf625f
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./systems/network/sysS.toml
SPDXID: SPDXRef-1a51d5613939142a6c2e0d019d1ae518
FileChecksum: SHA1: 7b89aa15f68cc7afa063850a017538c0cdef6213
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./systems/report/sysE.toml
SPDXID: SPDXRef-8f693276f7ee8233ea4d613cdbb1a5e9
FileChecksum: SHA1: fbb0beb7d6e2f5cf44add8beb6b2792e6aa937c0
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./systems/report/sysF.toml
SPDXID: SPDXRef-a86c7014f8730f920c1775738e2ab372
FileChecksum: SHA1: c92d9784e8a2ced1a75da06281e7a7face8fbcf9
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>

FileName: ./systems/report/sysS.toml
SPDXID: SPDXRef-641b3ef116841e28a9cc74b2535f9ae2
FileChecksum: SHA1: 27a522f9b62411161135ad25d2f0afad5354897e
LicenseConcluded: NOASSERTION
LicenseInfoInFile: Apache-2.0
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 Dependable Systems and Software, Saarland University</text>