Extending a Refinement Acting Engine for Fleet Management: Concurrency and Resources | IEEE Conference Publication | IEEE Xplore