Hae Young Lee. Towards Model Checking of Simulation Models for Embedded System Development. In IEEE 19th International Conference on Parallel and Distributed Systems, ICPADS 2013, Seoul, Korea, December 15-18, 2013. pages 452-453, IEEE, 2013. [doi]
Abstract is missing.