diff --git a/models/Application_examples/Beginner_Use_of_MP.mp b/models/Application_examples/Beginner_Use_of_MP.mp
index e8af86200786e636f3dfdcaad17fd0802308c312..71fd1826b216d27c6db761e5732ce345cd46c8df 100644
--- a/models/Application_examples/Beginner_Use_of_MP.mp
+++ b/models/Application_examples/Beginner_Use_of_MP.mp
@@ -12,7 +12,7 @@
 │*│ │ To provide a simple example of                     │ │
 │*│ │ 1) the operational process of using MP-Firebird as │ │
 │*│ │    a beginner, and                                 │ │
-│*│ │ 2) themodeling process of formalizing a previously │ │
+│*│ │ 2) the modeling process of formalizing a previously│ │
 │*│ │    unstated assumption.                            │ │
 │*│ └────────────────────────────────────────────────────┘ │
 │*│														   │
diff --git a/models/Application_examples/Commercial_Flight.mp b/models/Application_examples/Commercial_Flight.mp
index 7b1c3527307794803044314bcedd66d03641d175..a1a5dc5c580f7b0c9eb4538dd2b1f109738189a5 100644
--- a/models/Application_examples/Commercial_Flight.mp
+++ b/models/Application_examples/Commercial_Flight.mp
@@ -39,7 +39,7 @@
 │*│ │    Monica Farah-Stapleton. (2014). "Controlling    │ │
 │*│ │    Design Complexity with the Monterey Phoenix     │ │
 │*│ │    Approach." Procedia Computer Science 36:        │ │
-│*│ │    204-209                                         │ │
+│*│ │    204-209.                                        │ │
 │*│ └────────────────────────────────────────────────────┘ │
 │*│                                                        │
 │*│ ┌─[ Search Terms ]───────────────────────────────────┐ │
@@ -50,7 +50,7 @@
 │*│ ┌─[ Instructions ]───────────────────────────────────┐ │
 │*│ │ Run for Scope 1.                                   │ │
 │*│ ├─[ Run Statistics ]─────────────────────────────────┤ │
-│*│ │ Scope 1: 2 traces in less than 1 sec.              │ │
+│*│ │ Scope 1: 8 traces in approx. 2.7 sec.              │ │
 │*│ └────────────────────────────────────────────────────┘ │
 └*┴───────────────────────────────────────────────────────*/
 
diff --git a/models/Application_examples/FindAdvisor.mp b/models/Application_examples/FindAdvisor.mp
index e9743d400ae499149f9faa3e27f7b2dc73609782..630b8cd376886b06c5b7f6d2a95690a097d8aa00 100644
--- a/models/Application_examples/FindAdvisor.mp
+++ b/models/Application_examples/FindAdvisor.mp
@@ -30,7 +30,7 @@
 │*│ └────────────────────────────────────────────────────┘ │
 │*│                                                        │
 │*│ ┌─[ References ]─────────────────────────────────────┐ │
-│*│ │ None                                               │ │
+│*│ │ None.                                              │ │
 │*│ └────────────────────────────────────────────────────┘ │
 │*│                                                        │
 │*│ ┌─[ Search Terms ]───────────────────────────────────┐ │
diff --git a/models/Application_examples/Knapsack_Weight_Limit.mp b/models/Application_examples/Knapsack_Weight_Limit.mp
index 8dcbf46771c6c7b2693b6f32b338d350cc560bf5..2404923dff01fc060caf9f91613d88d919170692 100644
--- a/models/Application_examples/Knapsack_Weight_Limit.mp
+++ b/models/Application_examples/Knapsack_Weight_Limit.mp
@@ -44,7 +44,7 @@
 │*│ │                                                    │ │
 │*│ │ "Knapsack problem." Wikipedia. Wikimedia           │ │
 │*│ │    Foundation, August 26, 2021.                    │ │
-│*│ │ https://en.wikipedia.org/wiki/Knapsack_problem     │ │
+│*│ │    https://en.wikipedia.org/wiki/Knapsack_problem  │ │
 │*│ └────────────────────────────────────────────────────┘ │
 │*│                                                        │
 │*│ ┌─[ Search Terms ]───────────────────────────────────┐ │
diff --git a/models/Application_examples/Manufacturing_Process.mp b/models/Application_examples/Manufacturing_Process.mp
index b13605f5a902010cad8f50c02ee91e243fd39ce7..2ece47e1b8a43dc3c30f57b53731df196138a56c 100644
--- a/models/Application_examples/Manufacturing_Process.mp
+++ b/models/Application_examples/Manufacturing_Process.mp
@@ -31,7 +31,7 @@
 │*│ └────────────────────────────────────────────────────┘ │
 │*│                                                        │
 │*│ ┌─[ References ]─────────────────────────────────────┐ │
-│*│ │ None                                               │ │
+│*│ │ None.                                              │ │
 │*│ └────────────────────────────────────────────────────┘ │
 │*│                                                        │
 │*│ ┌─[ Search Terms ]───────────────────────────────────┐ │
diff --git a/models/Application_examples/Small_Package_Delivery.mp b/models/Application_examples/Small_Package_Delivery.mp
index b11c17c89e5cbad61f649c775dd244744ecc8090..e79412b153ed48dc6ba276c8513699fb054aada1 100644
--- a/models/Application_examples/Small_Package_Delivery.mp
+++ b/models/Application_examples/Small_Package_Delivery.mp
@@ -59,7 +59,7 @@
 │*│ │ Validation (V&V) of System Behavior                │ │
 │*│ │ Specifications." Final Technical Report            │ │
 │*│ │ SERC-2018-TR-116; Systems Engineering Research     │ │
-│*│ │ Center: Hoboken, NJ, USA, 2018.Available online:   │ │
+│*│ │ Center: Hoboken, NJ, USA, 2018. Available online:  │ │
 │*│ │ https://apps.dtic.mil/sti/citations/AD1063328      │ │
 │*│ └────────────────────────────────────────────────────┘ │
 │*│                                                        │
diff --git a/models/Application_examples/Spent_Fuel_Cooling_and_Cleanup.mp b/models/Application_examples/Spent_Fuel_Cooling_and_Cleanup.mp
index be6ee8dc7740ceac51cd7405c8990790ab5a7937..b5721b9cb68ce02fad7aaa7525c9d4076d5db8f7 100644
--- a/models/Application_examples/Spent_Fuel_Cooling_and_Cleanup.mp
+++ b/models/Application_examples/Spent_Fuel_Cooling_and_Cleanup.mp
@@ -36,7 +36,7 @@
 │*│                                                        │
 │*│ ┌─[ Search Terms ]───────────────────────────────────┐ │
 │*│ │ behavior, nuclear fuel cooling;                    │ │
-│*│ │ user-defined relations                             │ │
+│*│ │ user-defined relation                              │ │
 │*│ └────────────────────────────────────────────────────┘ │
 │*│                                                        │
 │*│ ┌─[ Instructions ]───────────────────────────────────┐ │
diff --git a/models/Application_examples/Turtles_in_the_Desert.mp b/models/Application_examples/Turtles_in_the_Desert.mp
index ffae44e930d878e21461c47aaec377ee6a48e30f..d45d70d03093d79944692f16eaa9f376cf8c2dab 100644
--- a/models/Application_examples/Turtles_in_the_Desert.mp
+++ b/models/Application_examples/Turtles_in_the_Desert.mp
@@ -41,7 +41,7 @@
 │*│ └────────────────────────────────────────────────────┘ │
 │*│                                                        │
 │*│ ┌─[ References ]─────────────────────────────────────┐ │
-│*│ │ None                                               │ │
+│*│ │ None.                                              │ │
 │*│ └────────────────────────────────────────────────────┘ │
 │*│                                                        │
 │*│ ┌─[ Search Terms ]───────────────────────────────────┐ │
diff --git a/models/Application_examples/Wide_Range_Search_for_Wreckage_and_Survivors.mp b/models/Application_examples/Wide_Range_Search_for_Wreckage_and_Survivors.mp
index a3f38f76fc600750351ade034ac175392794cb5b..487622ae7df936ce81e3022071b260895a72d333 100644
--- a/models/Application_examples/Wide_Range_Search_for_Wreckage_and_Survivors.mp
+++ b/models/Application_examples/Wide_Range_Search_for_Wreckage_and_Survivors.mp
@@ -40,19 +40,7 @@
 │*│ └────────────────────────────────────────────────────┘ │
 │*│                                                        │
 │*│ ┌─[ References ]─────────────────────────────────────┐ │
-│*│ │ Jackson, Daniel. "Alloy: A Language and Tool for   │ │
-│*│ │    Exploring Software Designs." Communications of  │ │
-│*│ │    the ACM 62, no. 9 (September 2019): 66–76.      │ │
-│*│ │    https://doi.org/10.1145/3338843                 │ │
-│*│ │    https://dl.acm.org/doi/10.1145/3338843          │ │
-│*│ │                                                    │ │
-│*│ │ Akhawe, Devdatta, Adam Barth, Peifung E. Lam, John │ │
-│*│ │    Mitchell, and Dawn Song. "Towards a Formal      │ │
-│*│ │    Foundation of Web Security." In Proceedings of  │ │
-│*│ │    2010 23rd IEEE Computer Security Foundations    │ │
-│*│ │    Symposium, July 2010, 290–304.                  │ │
-│*│ │    https://doi.org/10.1109/csf.2010.27             │ │
-│*│ │    https://ieeexplore.ieee.org/document/5552637    │ │
+│*│ │ None.                                              │ │
 │*│ └────────────────────────────────────────────────────┘ │
 │*│                                                        │
 │*│ ┌─[ Search Terms ]───────────────────────────────────┐ │
diff --git a/models/Example01_SimpleMessageFlow_EventCoordination.mp b/models/Example01_SimpleMessageFlow_EventCoordination.mp
index b336fa0f725c983b259989e2a18aaf51f7c29513..765f2eb0f08235af4b325a4cf98ab2d6f9c39195 100644
--- a/models/Example01_SimpleMessageFlow_EventCoordination.mp
+++ b/models/Example01_SimpleMessageFlow_EventCoordination.mp
@@ -19,7 +19,7 @@
 │*│ │ merging behaviors of Sender and Receiver and       │ │
 │*│ │ adding the PRECEDES relation for the selected      │ │
 │*│ │ send/receive pairs. The coordination operation     │ │
-│*│ │ behaves as a "cross-cutting" derivation rule       │ │
+│*│ │ behaves as a "cross-cutting" derivation rule.      │ │
 │*│ └────────────────────────────────────────────────────┘ │
 │*│                                                        │
 │*│ ┌─[ References ]─────────────────────────────────────┐ │
diff --git a/models/Example02_DataFlow_EventSharing.mp b/models/Example02_DataFlow_EventSharing.mp
index 5dc8b33a0246cb825bfd69fce44e27be1ec228c6..56e7f7d4e8938f2a9ac73e4bc2b9a7d6cb934f58 100644
--- a/models/Example02_DataFlow_EventSharing.mp
+++ b/models/Example02_DataFlow_EventSharing.mp
@@ -5,7 +5,7 @@
 │*│ └────────────────────────────────────────────────────┘ │
 │*│                                                        │
 │*│ ┌─[ Purpose ]────────────────────────────────────────┐ │
-│*│ │ To illustrate the reprentation of data items as    │ │
+│*│ │ To illustrate the representation of data items as  │ │
 │*│ │ behaviors.                                         │ │
 │*│ └────────────────────────────────────────────────────┘ │
 │*│														   │
diff --git a/models/Example04a_StackBehavior_UserDefinedRelations.mp b/models/Example04a_StackBehavior_UserDefinedRelations.mp
index e25efab3d3821b07c1d504930d2d6f4d84937007..8a5240d5f6acc41109f70fb62f15e662cd79a424 100644
--- a/models/Example04a_StackBehavior_UserDefinedRelations.mp
+++ b/models/Example04a_StackBehavior_UserDefinedRelations.mp
@@ -7,7 +7,7 @@
 │*│ ┌─[ Purpose ]────────────────────────────────────────┐ │
 │*│ │ To                                                 │ │
 │*│ │ 1) present use of BUILD block as a filtering       │ │
-│*│ │ operation on event trace segments,                 │ │
+│*│ │    operation on event trace segments,              │ │
 │*│ │ 2) demonstrate the combination of imperative       │ │
 │*│ │    (event grammar) and declarative (Boolean        │ │
 │*│ │    expressions) constructs for behavior            │ │
diff --git a/models/Example05_CarRace_NestedComposition.mp b/models/Example05_CarRace_NestedComposition.mp
index 58277b7d1f69d9898c80fc5ff171926bcfa77a17..819854c9bd95502c7f58e68cc78d677b7fb2fb5a 100644
--- a/models/Example05_CarRace_NestedComposition.mp
+++ b/models/Example05_CarRace_NestedComposition.mp
@@ -41,7 +41,7 @@
 │*│ ┌─[ Search Terms ]───────────────────────────────────┐ │
 │*│ │ behavior, car race; event sharing;                 │ │
 │*│ │ coordination, one-to-many;                         │ │
-│*│ │coordination, nested composition; SAY statement;    │ │
+│*│ │ coordination, nested composition; SAY statement;   │ │
 │*│ │ BUILD block; predicate logic; trace annotation     │ │
 │*│ └────────────────────────────────────────────────────┘ │
 │*│                                                        │