An industrial application of robustness testing using aspect-oriented modeling, UML/MARTE, and Search algorithms | Publicación