SOLOG-system object oriented logic development | IEEE Conference Publication | IEEE Xplore