Risk-Driven Model-Based Testing of Washing Machine Software: An Industrial Case Study | IEEE Conference Publication | IEEE Xplore