Advanced Rule-Based Techniques in Mission Critical Systems | IEEE Conference Publication | IEEE Xplore