Pamela's Merge Request: 01-07-2022

Corresponding Manual Numbers were added to References Section for the following files: 'Dining_Philosophers', 'Railroad_Crossing_Safety', 'Replay_Attack', and 'Web_Browser_Formal_Security'. Borders were adjusted accordingly.

models/Application_examples/Dining_Philosophers.mp

@@ -56,9 +56,16 @@
 │*│ └────────────────────────────────────────────────────┘ │
 │*│                                                        │
 │*│ ┌─[ References ]─────────────────────────────────────┐ │
+│*│ │ "Example 25: Dining Philosophers." from            │ │
+│*│ │    Auguston, M. "Monterey Phoenix System and       │ │
+│*│ │    Software Architecture and Workflow Modeling     │ │
+│*│ │    Language Manual" (Version 4). 2020. Available   │ │
+│*│ │    online:                                         │ │
+│*│ │    https://wiki.nps.edu/display/MP/Documentation   │ │
+│*│ │                                                    │ │
 │*│ │ "Dining philosophers problem." Wikipedia.          │ │
-│*│ │ Wikimedia Foundation, August 6, 2021.              │ │
-│*│ │ https://en.wikipedia.org/wiki/Dining_philosophers_problem
+│*│ │    Wikimedia Foundation, August 6, 2021.           │ │
+│*│ │    https://en.wikipedia.org/wiki/Dining_philosophers_problem
 │*│ └────────────────────────────────────────────────────┘ │
 │*│                                                        │
 │*│ ┌─[ Search Terms ]───────────────────────────────────┐ │