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