A Test Generator for Model-Based Testing In Proceedings of the Fourth International Symposium on Business Modeling and Software Design BMSD - Volume 1, 103-112, 2014 , Luxembourg, Luxembourg