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	A Methodology for Modeling Software Safety in Safety-Critical Computing Systems
Author	S. Phani Kumar, P.Seetha Ramaiah, V.Khanaa
Citation	Vol. 9  No. 7  pp. 185-193
Keywords	Index Terms, Software Safety, Safety Critical Systems, Safer Software Development, Railroad Crossing Control System(RCCS)

Title	A Flexible Simulation Environment for Railway Traffic Management Systems
Author	Francesco Flammini and Pasquale di Tommaso
Citation	Vol. 25  No. 10  pp. 141-149
Keywords	ERTMS/ETCS, Safety-Critical Systems, Verification & Validation, Functional Testing, Simulation Environments