A Scalable Incomplete Test for the Boundedness of UML RT Models