Textmeddelande: Verifying stability of dynamic soft-computing systems / by Wu Wen, John Callahan and Marcello Napolitano.