The SIMKIT Sytem: Knowledge-Based Simulation and Modeling Tools in Kee | IEEE Conference Publication | IEEE Xplore