Figure 5From: Generating test cases for marine safety and security scenarios: a composition frameworkASM model of a Rendezvous Pattern between two agents A 1 , A 2 in Territorial Sea (a belt of coastal waters extending from the baseline of a coastal state): A 1 is of type C ARGO S HIP and A 2 is of type Z ODIAC.Back to article page