Checking Properties on the Control of Heterogeneous Systems | IEEE Conference Publication | IEEE Xplore