Transformational Specification of Complex Legacy Real-Time Systems via Semantic Anchoring | IEEE Conference Publication | IEEE Xplore