A novel algorithm to solve the minimal hitting sets in MBD | IEEE Conference Publication | IEEE Xplore