Cooperative Observation of Multiple Moving Targets: an algorithm and its formalization | Synapse