J. Bowen and S. Reeves, “UI-Design Driven Model-Based Testing”, eceasst, vol. 22, Jan. 2010.