MBT with SpecExplorer
Peli got me interested in Model Based Testing and every since it's been a personal research topic. Today I came across a MBT project from Microsoft Research called SpecExplorer, it comes complete with a download with all the bits (a C# variant called Spec# and a other tools) to let you explore MBT in your test research.