TOPCASED Combining Formal Methods with Model-Driven Engineering | IEEE Conference Publication | IEEE Xplore