A Configurable Validation Environment for Refactored Embedded Software: An Application to the Vertical Transport Domain | Publicación