The previous page is sending you to https://www.academia.edu/817033/Ten_Commandments_Revisited_A_ten_year_perspective_on_the_industrial_application_of_formal_methods.

 If you do not want to visit that page, you can return to the previous page.