RBML: A Refined Behavior Modeling Language for Safety-Critical Hybrid Systems.

Zhangtao Chen, Jing Liu, Xi Ding, Miaomiao Zhang

Browse the full APSEC paper archive.