publicações selecionadas artigo de conferência Assessing the impact of hints in learning formal specification 2024