Added links to OTAWA and Patmos webpages