Formal approach of fms cyclic scheduling | IEEE Conference Publication | IEEE Xplore