Cooperation of SMV and Jeda for the property checking of mixed control and data intensive designs | IEEE Conference Publication | IEEE Xplore