A declarative approach to cyclic processes coupling and scheduling | IEEE Conference Publication | IEEE Xplore