Optimized implementation of synchronous models on industrial LTTA systems