Towards Model Checking of Simulation Models for Embedded System Development | IEEE Conference Publication | IEEE Xplore