Automatic test case generation in model based software design to achieve higher reliability | IEEE Conference Publication | IEEE Xplore