the organization page of the distributed embedded systems research group at github