Code Generation From UML/MARTE/OCL Environment Models to Support Automated System Testing of Real-Time Embedded Software