Text this: Model-based integration testing technique using formal finite state behavioral models for component-based software