RWTH-i5-IDSG /ixsiMakefile23IXSI - Interface for X-Sharing Information documentationtravelinformationcarsharingwebsocketxml