diff --git a/Lang et al. - 2021 - Formal Verification Applied to Spacecraft Attitude Control.pdf b/Lang et al. - 2021 - Formal Verification Applied to Spacecraft Attitude Control.pdf
new file mode 100644
index 0000000..74aee32
Binary files /dev/null and b/Lang et al. - 2021 - Formal Verification Applied to Spacecraft Attitude Control.pdf differ