Benoit Trouillet Ouajdi Korbaa Jean-Claude Gentina Formal Approach of FMS Cyclic Scheduling. 126-137 2007 37 IEEE Transactions on Systems, Man, and Cybernetics, Part C 1 http://dx.doi.org/10.1109/TSMCC.2006.876063 db/journals/tsmc/tsmcc37.html#TrouilletKG07