A practical model checking approach using FormalCheck