Reviewing Formal Specification for Validation Using Animation and Trace Links | IEEE Conference Publication | IEEE Xplore