Modeling, Verification, and Testing Using Timed and Hybrid Automata [chapter]

Stavros Tripakis, Thao Dang
2009 Model-Based Design for Embedded Systems  
doi:10.1201/9781420067859-c13 fatcat:ipdmb52ph5bjxir65x527fqj2u