Formal specification of a rule-based expert system | IEEE Conference Publication | IEEE Xplore