Specification of Safety Critical Systems with Intelligent Software Agent Method