KRISYS: KBMS support for better CAD systems | IEEE Conference Publication | IEEE Xplore