Update models/Application_examples/FindAdvisor.mp,...

Update models/Application_examples/FindAdvisor.mp, models/Application_examples/Manufacturing_Process.mp, models/Application_examples/Swarm_UAV.mp, models/Application_examples/Turtles_in_the_Desert.mp, models/Application_examples/Dining_Philosophers.mp files

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.

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 

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.

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) 

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.