Figure 6From: Generating test cases for marine safety and security scenarios: a composition frameworkASM model of Rescuing Pattern among three agents in Territorial Sea: Agent A 1 is of type F ISHING B OAT , A 2 is of type H ELICOPTER , and A 3 is of type C OAST G UARD B OAT.Back to article page