Parallel Automaton Representation of Marine Crafts' COLREGs-based Manoeuvering Behaviours. Issue 21 (2019)