Model-based testing: An attempt to combine provable soundness and effective automation and industrial applicability