RBML: A Refined Behavior Modeling Language for Safety-Critical Hybrid Systems | IEEE Conference Publication | IEEE Xplore