A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study