Development of Model Checker of Dynamic Linear Hybrid Automata | IEEE Conference Publication | IEEE Xplore