Modeling and Verification of Safety-Critical Systems Using Safecharts.

Pao-Ann Hsiung, Yen-Hung Lin

Browse the full FORTE paper archive.