Incremental, Distributed, and Concurrent Service Coordination for Reliable and Deterministic Systems-of-Systems | IEEE Journals & Magazine | IEEE Xplore