.NET MBT (model based testing)

I've been out the game for a while and am getting interested again in MBT. Whatever happened to SpecExplorer (https://msdn.microsoft.com/en-us/library/ee620411.aspx). Seems to have been totally abandoned. What's the path of least resistance these days to implement MBT on the .NET platform?