Analysis of boolean models using quality assurance methods from software engineering | IEEE Conference Publication | IEEE Xplore