A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems (Leibniz Transactions on Embedded Systems, 2022)