On Safety--Critical Computer Control Systems.

Wolfgang A. Halang, Matjaz Colnaric

Browse the full CBMS paper archive.