Vinitha Hannah Subburaj, Joseph E. Urban, Manan R. Shah. Specification of Safety Critical Systems with Intelligent Software Agent Method. In Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood City, San Francisco Bay, USA July 1-3, 2012. pages 578-581, Knowledge Systems Institute Graduate School, 2012.