UPPAAL-Based Model Structure Transformation Algorithm from STM to TA | IEEE Conference Publication | IEEE Xplore