Benchmarking study of the cyclic scheduling analysis methods in FMS | IEEE Conference Publication | IEEE Xplore