Frage zu Artikel "Handbook of Formal Analysis and Verification in.."