diff --git a/models/Application_examples/Dining_Philosophers.mp b/models/Application_examples/Dining_Philosophers.mp
index 5ecbf7168275e7aa69a0f6300d755f119185317b..912f09db2432660e0dde5f554114d45552f72f9a 100644
--- a/models/Application_examples/Dining_Philosophers.mp
+++ b/models/Application_examples/Dining_Philosophers.mp
@@ -32,7 +32,7 @@ as a source of test cases for testing the implementation.
 
 References:
 
-Search terms: dining philosophers behavior; ring topology behavior; event reshuffling; BUILD block; isomorphism
+Search terms: dining philosophers behavior; riddles; ring topology behavior; event reshuffling; BUILD block; isomorphism
 
 Instructions: Run for Scope 1. This will generate zero traces because
 a philosopher cannot eat with a single fork. Then run for Scopes 2 and up.
diff --git a/models/Application_examples/FindAdvisor.mp b/models/Application_examples/FindAdvisor.mp
index b49f73dee21bc0aa2f25112497288e2e658e138f..72f211acb0b9c12525403ca00dbbb03cf63b7bc4 100644
--- a/models/Application_examples/FindAdvisor.mp
+++ b/models/Application_examples/FindAdvisor.mp
@@ -20,7 +20,7 @@ technology to study the possible interactions among them.
 
 References:
 
-Search terms: finding advisor; human interactions modeling; human systems behavior
+Search terms: finding advisor behavior; human interactions modeling; human systems behavior
 
 Instructions: Run for Scope 1 (there is no iteration in this example, so increasing the scope will not 
 produce more scenarios). "Sequence" mode yields views very similar to the UML or SysML 
diff --git a/models/Application_examples/Manufacturing_Process.mp b/models/Application_examples/Manufacturing_Process.mp
index f4070934e8171f61f6ff4a1fea205db793e3dfb0..555b6d6850c0ae6aa1219cce5f7221d52b51df4b 100644
--- a/models/Application_examples/Manufacturing_Process.mp
+++ b/models/Application_examples/Manufacturing_Process.mp
@@ -13,7 +13,7 @@ August 2014
 
 References:
 
-Search terms: manufacturing process behavior; manufacturing system; event sharing; probability analysis
+Search terms: manufacturing process behavior; manufacturing system; event sharing; probability analysis; nested iteration
 
 Instructions: Run for Scope 1.
 	Scope 1: 8 traces in approx. 1.4 min.
diff --git a/models/Application_examples/Swarm_UAV.mp b/models/Application_examples/Swarm_UAV.mp
index a23e27906e90eb016ba02ad1ce5ff9b49687d9ae..21065740761b6940c4b34afcf419d0f5ee56428c 100644
--- a/models/Application_examples/Swarm_UAV.mp
+++ b/models/Application_examples/Swarm_UAV.mp
@@ -13,7 +13,7 @@ Kristin Giammarco and Mikhail Auguston
 
 References:
 
-Search terms: swarm behavior; autonomous; dependency tracking
+Search terms: swarm behavior; autonomous; dependency tracking; nested coordination
 
 Instructions: Run for Scopes 1, 2, and 3.
 This model demonstrates how to get several instances of the same actor (UAV) 
diff --git a/models/Application_examples/Turtles_in_the_Desert.mp b/models/Application_examples/Turtles_in_the_Desert.mp
index b1f3dfef351df788a4baa3e9e98f5444eb3e6928..7fc7a3d25a86e778057f233df1e015d5da19af95 100644
--- a/models/Application_examples/Turtles_in_the_Desert.mp
+++ b/models/Application_examples/Turtles_in_the_Desert.mp
@@ -28,7 +28,7 @@ Don't try to construct a non-Euclidean geometry to
 
 References:
 
-Search terms: lying turtles; ENSURE condition; BUILD block; SAY statement; MARK command; predicate logic
+Search terms: riddles; ENSURE condition; BUILD block; SAY statement; MARK command; predicate logic
 
 Instructions: Run for Scope 1. There are 13 possible scenarios, and none when all three are telling the truth.
 	Scope 1: 13 traces in less than 1 sec.