Merge branch 'Keane_Branch' into 'master'

Section titles added

See merge request !11

Application_examples/Authentication.mp

-/* Model of [Authentication]
+/* Model of Authentication
 
 A Model for Simple Authentication
 

Application_examples/Autonomous_Car.mp

-/* Model of [Autonomous_Car]
+/* Model of Autonomous Car
 
 A model of an autonomous car that was used to support a failure mode
 analysis of autonomous automobile technology (student project). 

Application_examples/Beginner_Use_of_MP.mp

-/* Model of [Beginner_Use_of_MP]
+/* Model of Beginner Use of MP
 
 A Simple Model of Beginner MP-Firebird Use
 created by K.Giammarco 2021-02-08

Application_examples/CargoScreening.mp

-/* Model of [CargoScreening]
+/* Model of Cargo Screening
 
 Cargo Screening process model
 May 6, 2011, draft written by Mikhail Auguston, NPS, Monterey, CA

Application_examples/Commercial_Flight

-/* Model of [Commercial_Flight]
+/* Model of Commercial Flight
 
 Model of a commercial flight, November 27, 2013
 

Application_examples/Cycle_Pattern.mp

-/* Model of [Cycle_Pattern]
+/* Model of Cycle Pattern
  
  Cycle_ISP Model for Systems Journal Article
  Available at https://www.mdpi.com/2079-8954/6/2/18

Application_examples/Dining_Philosophers.mp

-/* Model of [Dining_Philosophers]
+/* Model of Dining Philosophers
 
 Example 17, Dining_Philosophers.mp
 Five silent philosophers sit at a table around a bowl of spaghetti. 

Application_examples/Elevator.mp

-/* Model of [Elevator]
+/* Model of Elevator
 
 Elevator Model
 

Application_examples/FindAdvisor.mp

-/* Model of [FindAdvisor]
+/* Model of Find Advisor
 
 example63_Find_Advisor.mp
 modeling human interactions

Application_examples/First_Responder.mp

-/* Model of [First_Responder]
+/* Model of First Responder
 
 A first responder scenario involving the administation of a rescue 
 medication (Narcan) to an overdose victim by a First Responder or a 

Application_examples/Knapsack_Weight_Limit.mp

-/* Model of [Knapsack_Weight_Limit]
+/* Model of Knapsack Weight Limit
 
 Example 38 Knapsack
 

Application_examples/MP_Architecture_Specification.mp

-/* Model of [MP_Architecture_Specification]
+/* Model of MP Architecture Specification
 
 Example 28
  	MP compiler/trace generator architecture model 

Application_examples/Manufacturing_Process.mp

-/* Model of [Manufacturing_Process]
+/* Model of Manufacturing Process
 
 Application of Monterey Phoenix Modeling to Manufacturing Product Systems
 An example pre-dating MP-Firebird application that was used to generate scenarios

Application_examples/Martian_Lander.mp

-/* Model of [Martian_Lander]
+/* Model of Martian Lander
 
 Example 45. Real time system behavior modeling.
 	Landing system for Martian Lander.

Application_examples/Prisoners_Dilemma.mp

-/* Model of [Prisoners_Dilemma]
+/* Model of Prisoners Dilemma
 
 The Prisoner's Dilemma 
 Michael Collins

Application_examples/Railroad_Crossing_Safety.mp

-/* Model of [Railroad_Crossing_Safety]
+/* Model of Railroad Crossing Safety
 
 Example 27.	Timing attribute use.
 

Application_examples/Replay_Attack.mp

-/* Model of [Replay_Attack]
+/* Model of Replay Attack
 
 Example 41. The description of Replay Attack
 	is available at 

Application_examples/Small_Package_Delivery.mp

-/* Model of [Small_Package_Delivery]
+/* Model of Small Package Delivery
 
 Taken from use case description in the Skyzer IM20 Mission Model 
 (Non-Combatant Operations Scenario):

Application_examples/Spent_Fuel_Cooling_and_Cleanup.mp

-/* Model of [Spent_Fuel_Cooling_and_Cleanup]
+/* Model of Spent Fuel Cooling and Cleanup
 
 Cooling Pool
 

Application_examples/Spiral_Software_Process

-/* Model of [Spiral_Software_Process]
+/* Model of Spiral Software Process
 
 Example 16, model of the spiral software process