what is the best way to test Erlang FSM processes?

[Roman Shestakov]

hello,

I have a dependency tree of connected fsm processes, the state of children fsm' 
depends on state of parents and in some cases, timers attached to fsm can also 
trigger state change.

I would like to be able to test the state of entire system with Common Test but 
can't figure out a good way to use CT for testing fsm states.

does anybody have some ideas if it is possible to use CT in such scenario? any 
examples? other ideas?

Regards, Roman