Prozeßrechner in einer sicherheitsrelevanten Umgebung. - Stefan Roese; Ole Sörensen; Reinhard Arlt (PEARL, 1998)