Combinatorial Modeling and Test Case Generation for Industrial Control Software Using ACTS. - Sara Ericsson; Eduard Enoiu (QRS, 2018)