Hi Kevin, The method for exporting StateMachine descriptions to LTSA has been committed from the .zip file that was posted in the Wiki. If you have a chance, could you please give it a try ? Thanks Luis