Using Timed Base-Choice Coverage Criterion for Testing Industrial Control Software. - Henning Bergstrom; Eduard Paul Enoiu (ICST Workshops, 2017)