1. DIN 66 253: Programmiersprache PEARL – SafePEARL. Beuth Verlag, Berlin-Cologne (2018)
2. Henn, R.: Feasible processor allocation in a hard-real-time environment. Real-Time Syst. 1(1), 77–93 (1989)
3. IEC 61131-3: Programmable Controllers, Part 3: Programming Languages. Edition 3.0. International Electrotechnical Commission, Geneva (2013)
4. IEC 61508: Functional safety of electrical/electronic/programmable electronic safety-related systems. Part 1: General requirements. Edition 2.0. International Electrotechnical Commission, Geneva (2010)
5. Krebs, H., Haspel, U.: Ein Verfahren zur Software-Verifikation. Regelungstechnische Praxis RTP 26, 73–78 (1984)