Finding Attractors in Biological Models Based on Boolean Dynamical Systems Using Hitting Set | IEEE Conference Publication | IEEE Xplore