Open source software for demodulating and decoding AIS messages