COLREGs-based Situation Awareness for Marine Vessels - a Discrete Event Systems Approach. Issue 2 (2020)