Development, Specification, and Verification of Knowledge-Based Systems