Designing a High-level Language for Safety Systems.

G. Sen, J. Brummer

Browse the full SAFECOMP paper archive.