add text about failures of model checking
fix cite, add keywords/category/conf/copyright info