Swift Framework for Model-Based Testing using Mealy Machines - View it on GitHub