UML-based modeling and multi-threaded simulation for hybrid dynamic systems | IEEE Conference Publication | IEEE Xplore