A New Logic Programming Framework for Heterogeneous Verification of Embedded Control Systems | IEEE Conference Publication | IEEE Xplore