Proper-trade-fsm is a project mainly written in ..., it's free.

PropEr test of the trade_fsm from Leanyousomeerlang