Title	Formal Network Designs for Critical Network Security Systems
Author	Dea-Woo Park
Citation	Vol. 6  No. 4  pp. 172-178
Keywords	Critical Systems, Risk Management, Security Requirements, Security Policy, Formal Methods

Title	Transformation of Class Diagrams into Formal Specification
Author	Nazir Ahmad Zafar, Fahad Alhumaidan
Citation	Vol. 11  No. 5  pp. 289-295
Keywords	UML, Class diagrams, Formal methods, Z notation, Integration, Validation

Title	Formal Dynamic Operational Model of RIS Components
Author	Nazir Ahmad Zafar
Citation	Vol. 11  No. 9  pp. 91-97
Keywords	Formal methods, Operational model, Railway interlocking, Z notation

Title	Modeling and Analysis of MAPE-K loop in Self Adaptive Systems using Petri Nets
Author	Natash Ali Mian, Farooq Ahmad
Citation	Vol. 17  No. 12  pp. 158-163
Keywords	Feedback loop, Formal Methods, MAPE-K, Petri nets, Self-adaptive systems