translate a arctis buidling block model to a UPPAAL TA.