refactor: sort publications by year (most recent first)

Author: hthiagarajan

content/publications.rst

@@ -4,37 +4,29 @@ Publications
 Selected Publications
 -------------------
 
-1. **Model-based risk analysis for an open-source PCA pump using AADL error modeling**
-   
-   H Thiagarajan, B Larson, J Hatcliff, Y Zhang
+1. **Supporting model based safety and security assessment of high assurance systems**
 
-   International Symposium on Model-Based Safety and Assessment, 34-50, 2020
-   
-   `Cited by 10 <https://scholar.google.com/scholar?oi=bibs&hl=en&cites=14032805000554592233>`_
-
-2. **Bakar Alir: supporting developers in construction of information flow contracts in SPARK**
-   
-   H Thiagarajan, J Hatcliff, J Belt
-   
-   2012 IEEE 12th International Working Conference on Source Code Analysis and Manipulation
+   H Thiagarajan
 
-   `Cited by 8 <https://scholar.google.com/scholar?oi=bibs&hl=en&cites=6788209203340501788>`_
+   Kansas State University, 2022
 
-3. **Awas: AADL information flow and error propagation analysis framework**
+2. **Awas: AADL information flow and error propagation analysis framework**
 
    H Thiagarajan, J Hatcliff, Robby
 
    Innovations in Systems and Software Engineering 18 (4), 485–504, 2021
-   
-   `Cited by 7 <https://scholar.google.com/scholar?oi=bibs&hl=en&cites=15250520109349008340>`_
 
-4. **Supporting model based safety and security assessment of high assurance systems**
+3. **Model-based risk analysis for an open-source PCA pump using AADL error modeling**
 
-   H Thiagarajan
+   H Thiagarajan, B Larson, J Hatcliff, Y Zhang
 
-   Kansas State University, 2022
+   International Symposium on Model-Based Safety and Assessment, 34-50, 2020
+
+4. **Bakar Alir: supporting developers in construction of information flow contracts in SPARK**
 
-   `Cited by 3 <https://scholar.google.com/scholar?oi=bibs&hl=en&cites=8430544688970953684>`_
+   H Thiagarajan, J Hatcliff, J Belt
+   
+   2012 IEEE 12th International Working Conference on Source Code Analysis and Manipulation
 
 5. **Dependence analysis for inferring information flow properties in Spark ADA programs**