Deriving of Time Constants in Timed Automata for Hazard Transition Sequences for STAMP/STPA.

Kozo Okano, Pan Yang, Shinpei Ogata, Keishi Okamoto

Browse the full KES paper archive.