A comparison of executable model based approaches for embedded systems | IEEE Conference Publication | IEEE Xplore