the review on analyzing feature models is now integrated
integrated the review on formal verification of C programs