Peter Braun 0003, Oscar Slotosch. Development of a Car Seat: A Case Study using DOORS, AUTOFOCUS and the Validator. In Peter P. Hofmann, Andy Schürr, editors, OMER - Object-Oriented Modeling of Embedded Real-Time Systems, GI-Workshops OMER-1 & OMER-2 May 28/29, 1999 & May 10-12, 2001, Herrsching am Amersee, Germany. Volume 5 of LNI, pages 51-66, GI, 2001.
Abstract is missing.