EUREKA-Projekt EU 240 zur Entwicklung von Andwendungshilfen und Konzeption der notwendigen Randbedingungen für die Evaluierung von Software, um Mindestanforderungen an Zuverlässigkeit und Sicherheit bei der Herstellung industrieller realtime-Software zu gewährleisten (5 Mio. ECU 48 Monate Laufzeit)