BLACK: A fast, flexible and reliable LTL satisfiability checker