System Level Functional Testing from UML Specifications in End-Of-Production Industrial Environments