A new methodology to handle Boolean models with loops | IEEE Journals & Magazine | IEEE Xplore