ADONIS: Automated diagnosis system based on sound and precise logical descriptions | IEEE Conference Publication | IEEE Xplore