Multiparadigm Modeling for Hybrid Dynamic Systems Using a Petri Net Framework | IEEE Journals & Magazine | IEEE Xplore