Model-Based Testing of Highly Configurable Embedded Systems in the Automation Domain

International Journal of Embedded and Real-Time Communication Systems - United States
doi 10.4018/jertcs.2011040102