Model-Based Testing of Highly Configurable Embedded Systems in the Automation Domain | Publicación