From Modeling to Test Case Generation in the Industrial Embedded System Domain. - Aliya Hussain; Saurabh Tiwari 001; Jagadish Suryadevara; Eduard Enoiu (STAF Workshops, 2018)