An article or even included implementation showing how delays or timeouts can be implemented.

Would be great to persist the FSM execution somewhere automatically, then restore it later. This would be very handy for my current task of modelling an ordering system

The code-driven state machine functionality could be used as a kernel to drive an XML, text or database-driven state machine framework.

It would be especially interesting to integrate this with Visual Studio's drawing surface support...

This would need to be an addin or something, but it would be nice to have a way of visualising states as a diagram. Perhaps using http://yuml.me activity diagrams (until State diagrams are implemented).