1. Automatic Identification System - Encoding Guide 2012. http://www.uscg.mil/hq/cg5/TVNCOE/ Documents/links/AIS.EncodingGuide.pdf. Automatic Identification System - Encoding Guide 2012. http://www.uscg.mil/hq/cg5/TVNCOE/ Documents/links/AIS.EncodingGuide.pdf.
2. Installation and Quick Reference Guide - SRL-200/G AIS Receiver. http://www.comarsystems.com/brochures/ Installation%20SLR200G%20Guide%20.pdf. Installation and Quick Reference Guide - SRL-200/G AIS Receiver. http://www.comarsystems.com/brochures/ Installation%20SLR200G%20Guide%20.pdf.
3. AIVDM/AIVDO Protocol Decoding 2015. http://catb.org/gpsd/AIVDM.html. AIVDM/AIVDO Protocol Decoding 2015. http://catb.org/gpsd/AIVDM.html.
4. Model-based performance prediction in software development: a survey
5. BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking