FBT: A Tool for Applying Interval Logic Specifications to On-the-fly Model Checking | Publicación