- 342.231, UE Formal Models, Daniela Kaufmann / Nils Froleyks / Martina Seidl, 2021S (2021S342231)
- 342.232, UE Formal Models, Daniela Kaufmann / Nils Froleyks / Martina Seidl, 2021S (2021S342232)
- 342.233, UE Formal Models, Daniela Kaufmann / Nils Froleyks / Martina Seidl, 2021S (2021S342233)
- 342.234, UE Formal Models, Daniela Kaufmann / Nils Froleyks / Martina Seidl, 2021S (2021S342234)
- 342.235, UE Formal Models, Daniela Kaufmann / Nils Froleyks / Martina Seidl, 2021S (2021S342235)
- 342.236, UE Formal Models, Daniela Kaufmann / Nils Froleyks / Martina Seidl, 2021S (2021S342236)
- 342.237, UE Formal Models, Daniela Kaufmann / Nils Froleyks / Martina Seidl, 2021S (2021S342237)
- 342.238, UE Formal Models, Daniela Kaufmann / Nils Froleyks / Martina Seidl, 2021S (2021S342238)
- 342.239, UE Formal Models, Daniela Kaufmann / Nils Froleyks / Martina Seidl, 2021S (2021S342239)
