This would first require having a metamodel for FSM, but would allow linking to BDD execution models. For now this is low priority since the scientific goal for such a link is unclear.