RTSAT-- An Optimal and Efficient Approach to the Task Allocation Problem in Distributed Architectures | IEEE Conference Publication | IEEE Xplore