Environment modeling with UML/MARTE to support black-box system testing for real-time embedded systems: methodology and industrial case studies | Publicación