Translation Validation of Transformations of Embedded System Specifications Using Equivalence Checking | IEEE Conference Publication | IEEE Xplore