Course Materials: / Allgemeine Informatik M.Sc./ BaSys-Intelligente Systeme M.Sc. / High Integrity Systems M. Sc./