ADONIS: Automated diagnosis system based on sound and precise logical descriptions