Specification of Safety Critical Systems with Intelligent Software Agent Method. - Vinitha Hannah Subburaj; Joseph E. Urban; Manan R. Shah (SEKE, 2012)