Cognitive abstraction for qualitative simulation | IEEE Conference Publication | IEEE Xplore